Results 291 to 300 of about 32,356 (302)

Classical logic, storage operators and second-order lambda-calculus

Annals of Pure and Applied Logic, 1994
exaly  

LePUS3 in Classical Logic

2011
Amnon H Eden
exaly  

ON SOME INTERPRETATIONS OF CLASSICAL LOGIC

Zeitschrift Für Mathematische Logik Und Grundlagen Der Mathematik, 1992
exaly  

From First-Order Self-Extensional Paradefinite Four-Valued Logic to First-Order Classical Logic

Studia Logica
openaire   +1 more source

Classical Logic and the Law

2005
exaly  

Nondeterministic programming within the frame of first order classical logic. II

1980
Gergely, Tamás, Úry, László
openaire   +2 more sources

Supplement First Order Predicate Calculi of Non-Classical Logics

1974
openaire   +1 more source

XIV. Second-Order Classical Predicate Logic

2011
exaly  

First-order classical modal logic: applications in logics of knowledge and probability.

Horacio L. Arló-Costa, Eric Pacuit
openaire   +1 more source

The ‘can do’ principle and Classical First-order Logic

2005
openaire   +1 more source