On existential theorems in non-classical functional calculi
H. Rasiowa, Roman Sikorski (1955)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Algebraic models of axiomatic theories”
On existential theorems in non-classical functional calculi
On the ε-theorems
H. Rasiowa (1956)
Fundamenta Mathematicae
Similarity:
Models of axiomatic theories admitting automorphisms
Andrzej Ehrenfeucht, Andrzej Mostowski (1956)
Fundamenta Mathematicae
Similarity:
An application of lattices to logic
H. Rasiowa, Roman Sikorski (1955)
Fundamenta Mathematicae
Similarity:
Algebraic Treatment of the Functional Calculi of Heyting and Lewis
H. Rasiowa (1951)
Fundamenta Mathematicae
Similarity:
An algebraic characterization of quantifiers
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
A completeness theorem for the general interpreted modal calculus of A. Bressan
Alberto Zanardo (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy
C. Bonotto, A. Bressan (1984)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
A model for HAS. A topological interpretation of the theory of species of natural numbers
Dirk van Dalen (1974)
Fundamenta Mathematicae
Similarity: