Results 111 to 120 of about 21,391,575 (121)

CERES in Nonclassical Logics

2011
Alexander Leitsch, Matthias Baaz
exaly  

Corner on directions in nonclassical logic

Journal of Logic and Computation, 2001
H Wansing
exaly  

Methods for Automated Theorem Proving in Nonclassical Logics

IEEE Transactions on Computers, 1976
exaly  

Relational Formalisation of Nonclassical Logics

1997
Ewa Orłowska
exaly  

Quantum Logic and Nonclassical Logics

2009
Roberto Giuntini, Maria Luisa Dalla Chiara   +1 more
exaly  

Relational Semantics for Nonclassical Logics: Formulas are Relations

1994
Ewa Orłowska
exaly  

Nonclassical models for logic programs

Lecture Notes in Computer Science, 2005
exaly  

Encoding Two-Valued Nonclassical Logics in Classical Logic

2001
Maarten de Rijke, Hans Jürgen Ohlbach, Dov M Gabbay   +2 more
exaly  

Nonclassical Logics and Information Processing

1992
exaly  

On the Adequacy of a Nonclassical Logic for Quantum Theory

1988
exaly