On existential theorems in non-classical functional calculi
H. Rasiowa, Roman Sikorski (1955)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: