Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “A complete, infinitary axiomatization of weak second-order logic”
Sequents in many valued logic I
An addition to “logic of many-sorted theories”
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
Completeness Theorem for a First Order Linear-time Logic
Zoran Ognjanović (2001)
Publications de l'Institut Mathématique
Similarity:
A complete first-order logic with infinitary predicates
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
Assertions depending on time and corresponding logical calculi
Andrzej Grzegorczyk (1968)
Compositio Mathematica
Similarity:
Automated theorem proving in monadic predicate calculus
Jan Štěpán (1991)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
L. Banachowski, A. Kreczmar, G. Mirkowska, H. Rasiowa, A. Sławicki (1977)
Banach Center Publications
Similarity:
A note on the theory of propositional types
Andrzej Grzegorczyk (1964)
Fundamenta Mathematicae
Similarity: