Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Approximation theory of uniqueness conditions by existence conditions”
Sequents in many valued logic I
Relativization with respect to formulas and its use in proofs of independence
Leon Henkin (1968)
Compositio Mathematica
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
The logic of negationless mathematics
P. G. J. Vredenduin (1953)
Compositio Mathematica
Similarity:
A complete, infinitary axiomatization of weak second-order logic
E. Lopez-Escobar (1967)
Fundamenta Mathematicae
Similarity:
Ambiguity and stratification
Marcel Crabbé (1978)
Fundamenta Mathematicae
Similarity:
An addition to “logic of many-sorted theories”
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
The elimination of descriptions from A. Bressan’s modal language on which the logical calculus is based
Eugenio Giovanni Omodeo (1976)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Completeness Theorem for a First Order Linear-time Logic
Zoran Ognjanović (2001)
Publications de l'Institut Mathématique
Similarity: