Results 251 to 260 of about 44,803 (280)

Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic

Studia Logica, 2013
Michael Kaminski, Nissim Francez
exaly  

Complexity of intuitionistic propositional logic and its fragments

Journal of Applied Non-Classical Logics, 2008
Михаил Рыбаков
exaly  

Classical Propositional Logic

2011
openaire   +1 more source

CLASSICAL PROPOSITIONAL LOGIC

1998
openaire   +1 more source

Technical Foundations of a DPLL-Based SAT Solver for Propositional Gödel Logic

IEEE Transactions on Fuzzy Systems, 2018
Dusan Guller
exaly  

I. Classical Propositional Logic

2011
openaire   +1 more source

Propositional dynamic logic of regular programs

Journal of Computer and System Sciences, 1979
Richard E Ladner
exaly  

A propositional logic with 4 values: true, false, divergent and meaningless

Journal of Applied Non-Classical Logics, 1995
Inge Bethke
exaly  

Theories in Classical Propositional Logic and the Converse of Substitution

Russian Mathematics, 2020
exaly  

Review of Classical Propositional Logic

2008
openaire   +1 more source