Suggested Topics within your search.
Suggested Topics within your search.
-
121by Brown, Frank Malloy“... by discussing various theorem provers for propositional logic and then for elementary arithmetic. In particular...”
Published 1978
Get full text
-
122by Lescuyer, Stephane“... of decision procedures for propositional logic, equality reasoning and linear arithmetic which make up...”
Published 2011
Get full text
-
123by Hayo Thielecke“... and right contexts when building up syntactic structures. The calculus is a form of propositional logic...”
Published 2016-06-01
Get full text
Article -
124“... the vocabulary of the language of classical propositional logic and basic terms of non-fregean logic: non-fregean...”
Get full text
Article -
125by Donnelly, Kevin“...System F is a type system that can be seen as both a proof system for second-order propositional...”
Published 2011
Get full text
-
126“.... In our previous proposal, some tautology in propositional logic can be automatically proved with our...”
Get full text
Others -
127by Peter Simons“.... Terms may be singular, empty or plural in their denotation. This article, presupposing propositional...”
Published 2020-02-01
Get full text
Article -
128by Piotr Urbańczyk“... and intuitionistic propositional logic....”
Published 2014-09-01
Get full text
Article -
129“...A holistic extension of classical propositional logic is introduced via Toffoli quantum gate...”
Get full text
Article -
130“... presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a...”
Get full text
Article -
131by Frank Thomas Sautter“.... I also show how these results can be extended to propositional logic, with the aid...”
Published 2009-08-01
Get full text
Article -
132“...Abstract According to standard propositional logic, the inferences in which the conditional...”
Get full text
Article -
133“...The logic TK was introduced as a propositional logic extending the classical propositional calculus...”
Get full text
Article -
134by Rad, Soroush Rafiee“... that satisfy a certain knowledge base. This question has been extensively studied for propositional logic...”
Published 2009
Get full text
-
135by Norman, Max“... system of propositional logic) provided a sound logical foundation of Lesniewski's ontology and mereology...”
Published 1979
Get full text
Others -
136“...博士 === 國立臺灣大學 === 哲學研究所 === 107 === We extend classical propositional logic to propositional modal...”
Get full text
Others -
137by Britz, Katarina“... phrased in the language of some propositional logic. The set of systems of a given logic is turned...”
Published 2014
Get full text
Doctoral Thesis -
138“... evaluated using propositional logic proofs to demonstrate the level of security it can provide....”
Get full text
Article -
139by Harun, Rona.“...In intuitionistic propositional logic, one of the so-called De Morgan's laws is not valid...”
Published 1996
Get full text
Others -
140