Presentation of Natural Deduction
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
Displaying similar documents to “Identity and permutation.”
Presentation of Natural Deduction
A metatheoretical characterization of negation as finite failure.
Giovanni Criscuolo (1996)
Mathware and Soft Computing
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
The First Lecture on Non-classical Logics
Alexandros Pefku (2001)
The Teaching of Mathematics
Similarity:
Speed-up for propositional Frege systems via generalizations of proofs
Jan Krajíček (1989)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Attributes, sets, partial sets and identity
P. C. Gilmore (1968)
Compositio Mathematica
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
An addition to “logic of many-sorted theories”
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
Combinatory logic and the ω-rule
Henk Barondregt (1974)
Fundamenta Mathematicae
Similarity: