A Note on Majkić's Systems

&
Notre Dame Journal of Formal Logic 51 (4):503-506 (2010)
  Copy   BIBTEX

Abstract

The present note offers a proof that systems developed by Majkić are actually extensions of intuitionistic logic, and therefore not paraconsistent

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2010-032

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Paraconsistent Logic and Weakening of Intuitionistic Negation.Zoran Majkić - 2012 - Journal of Intelligent Systems 21 (3):255-270.
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
LK, LJ, Dual Intuitionistic Logic, and Quantum Logic.Hiroshi Aoyama - 2004 - Notre Dame Journal of Formal Logic 45 (4):193-213.
A note on intuitionistic models of ${\rm ZF}$.R. Lavendhomme & T. Lucas - 1983 - Notre Dame Journal of Formal Logic 24 (1):54-66.
A note on modal systems.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (2):155-157.
A note on Newman's algebraic systems.Bołeslaw Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (1):129-133.
A note on Prior's systems in "The theory of deduction".Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (2):139-140.
Some new results on PCL1 and its related systems.Toshiharu Waragai & Hitoshi Omori - 2010 - Logic and Logical Philosophy 19 (1-2):129-158.
A note on the axiomatizations of certain modal systems.Anjan Shukla - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):118-120.
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.

Analytics

Added to PP
2010-09-30

Downloads
48 (#322,753)

6 months
13 (#276,301)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Paraconsistent Logic and Weakening of Intuitionistic Negation.Zoran Majkić - 2012 - Journal of Intelligent Systems 21 (3):255-270.

Add more citations

References found in this work

On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.

Add more references