A series of successive modifications of Peirce's rule
From MaRDI portal
Publication:5586223
DOI10.3792/pja/1195521836zbMath0192.02803OpenAlexW2040107146MaRDI QIDQ5586223
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/1195521836
Related Items
Certain Method for Generating a Series of Logics, A Remark on Peirce’s Law, On superintuitionistic logics as fragments of proof logic extensions, Generalized tableau systems for intermediate propositional logics, Decidability problem for finite Heyting algebras, A semantic hierarchy for intuitionistic logic, Constructing denumerable matrices strongly adequate for pre-finite logics, The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel, A Remark on Peirce’s Rule in Many-Valued Logics
Cites Work