A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
Leon Henkin (1955)
Fundamenta Mathematicae
Similarity:
Imai, Yasuyuki, Iséki, Kiyoshi (1967)
Portugaliae mathematica
Similarity:
Sikorski, R.
Similarity:
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
H. Rasiowa (1956)
Fundamenta Mathematicae
Similarity:
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
Don Pigozzi, Antonino Salibra (1993)
Banach Center Publications
Similarity:
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.