The First Lecture on Non-classical Logics
Alexandros Pefku (2001)
The Teaching of Mathematics
Similarity:
Displaying similar documents to “Speed-up for propositional Frege systems via generalizations of proofs”
The First Lecture on Non-classical Logics
Combinatory logic and the ω-rule
Henk Barondregt (1974)
Fundamenta Mathematicae
Similarity:
How to generalize logic programming to arbitrary set of clauses.
Prešić, Slaviša B. (1997)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Assertions depending on time and corresponding logical calculi
Andrzej Grzegorczyk (1968)
Compositio Mathematica
Similarity:
Completeness Theorem for a First Order Linear-time Logic
Zoran Ognjanović (2001)
Publications de l'Institut Mathématique
Similarity:
Automated theorem proving in monadic predicate calculus
Jan Štěpán (1991)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity: