Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Souslin-Klееnе does not imply Beth”
Sequents in many valued logic I
A generalization of abstract model theory
Daniele Mundici (1984)
Fundamenta Mathematicae
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:
Remarks on predicate logic with infinitely long expressions
Alfred Tarski (1958)
Colloquium Mathematicum
Similarity:
A complete first-order logic with infinitary predicates
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
Relativization with respect to formulas and its use in proofs of independence
Leon Henkin (1968)
Compositio Mathematica
Similarity:
An interpolation theorem for denumerably long formulas
E. Lopez-Escobar (1965)
Fundamenta Mathematicae
Similarity:
Combinatory logic and the ω-rule
Henk Barondregt (1974)
Fundamenta Mathematicae
Similarity: