A complete, infinitary axiomatization of weak second-order logic
E. Lopez-Escobar (1967)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Sequents in many valued logic I”
A complete, infinitary axiomatization of weak second-order logic
A completeness theorem for the general interpreted modal calculus of A. Bressan
Alberto Zanardo (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Sequents in many valued logic II
G. Rousseau (1970)
Fundamenta Mathematicae
Similarity:
An addition to “logic of many-sorted theories”
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
A complete first-order logic with infinitary predicates
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
The logic of negationless mathematics
P. G. J. Vredenduin (1953)
Compositio Mathematica
Similarity:
Completeness Theorem for a First Order Linear-time Logic
Zoran Ognjanović (2001)
Publications de l'Institut Mathématique
Similarity:
Assertions depending on time and corresponding logical calculi
Andrzej Grzegorczyk (1968)
Compositio Mathematica
Similarity:
Intuitionistic modal logic with quantifiers
Fitch, Frederic B. (1948)
Portugaliae mathematica
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity: