The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel

DOI10.3792/pja/1195521794zbMath0156.00803OpenAlexW2015293057MaRDI QIDQ5537357

Tsutomu Hosoi

Publication date: 1966

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/1195521794

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items (3)

A criterion for the separable axiomatization of Gödel's $S_n $ ⋮ A semantic hierarchy for intuitionistic logic ⋮ Separability of normalizable superintuitionistic propositional logics

Cites Work

• Unnamed Item
• Unnamed Item
• A propositional calculus with denumerable matrix
• The implicational fragment of Dummett's LC
• On the separation theorem of intermediate propositional calculi
• Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$
• A series of successive modifications of Peirce's rule

This page was built for publication: The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel