Suggested Topics within your search.
Suggested Topics within your search.
-
181by Benedikt Ahrens“... translation from classical to intuitionistic propositional logic via the category–theoretic iteration...”
Published 2015-04-01
Get full text
Article -
182
-
183by Nelson, Timothy“... call Order-Sorted Effectively Propositional Logic (OS-EPL). We give a linear-time algorithm for testing...”
Published 2010
Get full text
Get full text
Others -
184by Krenický, Roman“... framework for studying proofs of classical (propositional) logic. This is a problematic task, since models...”
Published 2014
Get full text
-
185by Reith, Steffen“... to generalized propositional logic by using this result, which was done in this thesis. Hence, many different...”
Published 2001
Get full text
Get full text
Get full text
Get full text
Doctoral Thesis -
186by Jean Baratgin, Jean Baratgin, Guy Politzer, David E. Over, Tatsuji Takahashi“... given the truth or falsity of its components in the framework of propositional logic. One perplexing...”
Published 2018-09-01
Get full text
Article -
187by Ferraris, Paolo, 1972-“... satisfiability solvers for propositional logic. ASP is based on the answer set/stable model semantics for logic...”
Published 2008
Get full text
Others -
188by Ulusoy, M. Alphan“...) and Computation Tree Logic (CTL), are extensions of propositional logic that can capture temporal relations. Even...”
Published 2015
Get full text
-
189by Chingoma, Julian“... information which comprises propositional logic, which forms the foundation for the other logic systems...”
Published 2021
Get full text
Dissertation -
190by David Fernandez-Amoros, Sergio Bra, Ernesto Aranda-Escolástico, Ruben Heradio“... an extension of propositional logic to tackle one recurring phenomenon in logic modeling, namely groups...”
Published 2020-07-01
Get full text
Article -
191by Silva, Anderson Aparecido da.“... language of propositional logic is sought, which leads to a characterization of a particular fuzzy logic...”
Published 2012
Get full text
Others -
192by Ianovski, Egor“... formula of propositional logic by selecting a truth assignment to a set of propositional variables under...”
Published 2016
Get full text
-
193by Kaliski, Adam“... typical of the field. Firstly, the propositional logic used as the base language will be defined...”
Published 2021
Get full text
Dissertation -
194
-
195by She, Steven“...-source Kconfig models—including the Linux model with over 6000 features—to propositional logic....”
Published 2013
Get full text
-
196by She, Steven“...-source Kconfig models—including the Linux model with over 6000 features—to propositional logic....”
Published 2013
Get full text
-
197“... Formulas (QBFs) extend formulas of propositional logic by allowing existential and universal...”
Get full text
Others -
198by Mikša, Mladen“... for propositional logic. This line of inquiry relates to the fundamental questions in theoretical computer science...”
Published 2016
Get full text
Get full text
Doctoral Thesis -
199by Vinyals, Marc“... in propositional logic. In this thesis we are concerned with the size and space of proofs, and in particular...”
Published 2017
Get full text
Get full text
Doctoral Thesis -
200by Raddaoui, Badran“... of all, on the basis that reductio ad absurdum is valid in classical propositional logic, we propose a...”
Published 2013
Get full text