A note on Majkić's systems (Q609767)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5822360
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A note on Majkić's systems |
scientific article; zbMATH DE number 5822360 |
Statements
A note on Majkić's systems (English)
0 references
1 December 2010
0 references
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.
0 references
paraconsistent logic
0 references
intuitionistic logic
0 references
Majkić's systems
0 references
0 references
0.83692366
0 references
0.82929623
0 references
0.82727474
0 references
0.8241252
0 references
0 references
0 references
