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: 91,709

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

Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
Paraconsistent logic! (A reply to Slater) Jean-Yves BéziauFoot note 1_.Blaise Pascal - unknown
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Correspondence results for relational proof systems with application to the Lambek calculus.Wendy MacCaull & Ewa Orłlowska - 2002 - Studia Logica 71 (3):389-414.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
Note on Alternative Systems of Logic.Y. L. Chin - 1934 - The Monist 44 (1):144-146.
Note on Alternative Systems of Logic.A. Ushenko - 1933 - The Monist 43 (2):290-291.
Variations on da Costa C systems and dual-intuitionistic logics I. analyses of cω and CCω.Richard Sylvan - 1990 - Studia Logica 49 (1):47-65.
A note on standard systems and ultrafilters.Fredrik Engström - 2008 - Journal of Symbolic Logic 73 (3):824-830.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
A note on modal systems.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (2):155-157.
A note on biorhetorics.Kalevi Kull - 2001 - Sign Systems Studies 29 (2):693-703.
A note on the axiomatizations of certain modal systems.Anjan Shukla - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):118-120.
A note on Newman's algebraic systems.Bołeslaw Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (1):129-133.

Analytics

Added to PP
2010-09-30

Downloads
45 (#352,002)

6 months
11 (#233,459)

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