A note on Majkić's systems

DOI10.1215/00294527-2010-032MaRDI QIDQ609767zbMATH OpenOpenAlexFDO

Authors Hitoshi Omori, Toshiharu Waragai

Publication date 1 December 2010

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2010-032

zbMATH Keywords

intuitionistic logicMajkić's systemsparaconsistent logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Review text

The authors of this note prove that \textit{Z. Majkić}'s \(Z_n\) and \(CZ_n\) [Notre Dame J. Formal Logic 49, No. 4, 401--424 (2008; Zbl 1180.03030)], which are variations of \textit{N. C. A. da Costa}'s hierarchy \(C_n\), cf. [Notre Dame J. Formal Logic 15, 497--510 (1974; Zbl 0236.02022)], are not hierarchies of paraconsistent logic. By giving a simple axiomatization of \(Z_n\) and \(CZ_n\) that is different from the original one, they prove that they are not actually hierarchies and that, as they are in fact extensions of intuitionistic propositional calculus, they are not paraconsistent systems.

Recommendations

• Note on a system of Åqvist
• A note on a system theoretic approach to a conjecture by Peller- Khrushchev
• scientific article; zbMATH DE number 996507
• A note on Hilbert and Beltrami systems
• scientific article; zbMATH DE number 4142705
• A note on the models on general systems
• The Majda-Biello system on the half-line
• Note on Halphen's system
• Some remarks on the Clebsch's system
• A note on biorthogonal systems

Cited in

(2)

• A NOTE ON FLIP SYSTEMS
• The Majda-Biello system on the half-line

This page was built for publication: A note on Majkić's systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q609767)