A Note on Majkić's Systems

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


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



    Upload a copy of this work     Papers currently archived: 77,916

External links

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

Through your library

Similar books and articles

Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
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.
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.


Added to PP

33 (#361,629)

6 months
1 (#485,121)

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