Search results

...e axiom systems have been formulated. They differ in the choice of basic [[logical connective|connectives]] used, which in all cases have to be [[functionally ...= "Pro I">Yasuyuki Imai, Kiyoshi Iséki, On axiom systems of propositional calculi, I, Proceedings of the Japan Academy. Volume 41, Number 6 (1965), 436&ndash ...

{{Short description|A technique for symbolic model checking and logic calculi}} ...t is also applied in [[modal logic]] [[method of analytic tableaux|tableau calculi]] algorithms to optimise their efficiency.<ref name="CEGAR-Tableaux">{{cite ...

...' in analogy to polymorphic types of terms in classical polymorphic lambda calculi, such as [[System F]]. An example of such a generic constructor might be{{r ...bited]]. By the [[Curry–Howard correspondence]], this is equivalent to all logical propositions being provable, which makes the system inconsistent. ...

[[Category:Logical calculi]] ...

...is represented with propositional variables (e.g., <math>p, q, r</math>); logical connectives include negation (<math>\neg</math>), conjunction (<math>\land< ...st2=Olivetti |first2=Nicola |last3=Nalon |first3=Cláudia |title=Resolution Calculi for Non-normal Modal Logics |conference=TABLEAUX 2023 |series=Lecture Notes ...

functions from typed lambda calculi by restricting the grammar of types. ...eterminates: contextual and functional completeness for polymorphic lambda calculi ...

{{Redirect|Logical implication|the binary connective|Material conditional}} ...provide accounts of the nature of logical consequence and the nature of [[logical truth]].<ref>[[Willard Van Orman Quine|Quine, Willard Van Orman]], ''Philos ...

[[logical implication|implication]] <math>\to</math>, [[logical conjunction|conjunction]] <math>\land</math> and ...

...kasiewicz Algebras as S-Algebras of Łukasiewicz ''n''-Valued Propositional Calculi, Studia Logica, 41, 1982, 3–16, {{doi|10.1007/BF00373490}}</ref> ...lgebra]]s; as a result, Moisil logics can also be developed (from a purely logical standpoint) in the framework of Brower's [[intuitionistic logic]].<ref name ...

Over the years, refocusing has been used for inter-deriving calculi and abstract machines. |title=A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines ...

...rue quantified Boolean formula|quantified Boolean formula]]s, based on the logical interpretation of and/or constraint graphs. It requires additional [[Gadget [[Category:Logical calculi]] ...

...ear=2009 |volume=5608 |book-title=International Conference on Typed Lambda Calculi and Applications |conference=TLCA 2009 |publisher=Springer |pages=356–370 | ...9)2017 |title=The algebraic intersection type unification problem |journal=Logical Methods in Computer Science |volume=13 |issue=3 |year=2017 |last1=Dudenhefn ...

...ropositional variable]]s or atoms or compound propositions built with such logical connectives as ''and'', ''or'', and ''not''. ...ath>p \to [a]q\,\!</math>. The approach was later published in 1976 as a [[logical system]] in its own right. The system parallels ...

...logic. It has been used to provide circular analyses of philosophical and logical concepts. ...vision theories of Gupta and Herzberger, revision is supposed to reflect [[logical intuition|intuitive evaluations]] of sentences that use the truth predicate ...

...CEK machine. The CK machine has no environment, and can be used for simple calculi without variables.<ref name=":0">{{Cite web|last1=Felleisen|first1=Matthias |journal=Logical Methods in Computer Science ...

{{Redirect-multi|2|Logical|Logically|the rapper|Logic (rapper)|the British company|Logically (company) ...When used as a [[countable noun]], the term "a logic" refers to a specific logical [[formal system]] that articulates a [[proof system]]. Logic plays a centra ...

In 1755, however, in his ''[[Institutiones calculi differentialis]],'' Euler gave a more general concept of a function: ...cting arguments".{{sfn |De Morgan |1847 |p=1}} At this time the notion of (logical) "function" is not explicit, but at least in the work of De Morgan and [[Ge ...

...act on the data to perform various operations (e.g., [[arithmetic]] or [[logical operations]]). ...li>Cardelli, L. [http://lucacardelli.name/Papers/Brane%20Calculi.pdf Brane calculi: Interactions of biological membranes]. In LNCS 3082, pages 257-280. Spring ...

{{defn |1=A logical rule stating that if a proposition implies another, then adding any additio {{defn |1=A logical fallacy where a proposition is considered true because it has not been prov ...