A criterion for the separable axiomatization of Gödel's $S_n $

DOI10.3792/pja/1195521604zbMath0168.24901OpenAlexW2083767210MaRDI QIDQ5554948

Tsutomu Hosoi

Publication date: 1967

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195521604

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items

Decidability problem for finite Heyting algebras ⋮ A semantic hierarchy for intuitionistic logic ⋮ Separability of normalizable superintuitionistic propositional logics

Cites Work

• Unnamed Item
• The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel
• A characterization of axiom schema playing the rôle of tertium non datur in intuitionistic logic