Open Access
2010 A Note on Majkić's Systems
Hitoshi Omori, Toshiharu Waragai
Notre Dame J. Formal Logic 51(4): 503-506 (2010). DOI: 10.1215/00294527-2010-032

Abstract

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

Citation

Download Citation

Hitoshi Omori. Toshiharu Waragai. "A Note on Majkić's Systems." Notre Dame J. Formal Logic 51 (4) 503 - 506, 2010. https://doi.org/10.1215/00294527-2010-032

Information

Published: 2010
First available in Project Euclid: 29 September 2010

zbMATH: 1213.03037
MathSciNet: MR2741840
Digital Object Identifier: 10.1215/00294527-2010-032

Subjects:
Primary: 03B53

Keywords: Intuitionistic logic , Majkic's systems Zn and CZn , paraconsistent logic

Rights: Copyright © 2010 University of Notre Dame

Vol.51 • No. 4 • 2010
Back to Top