Switch to: References

Add citations

You must login to add citations.
  1. Autoreferential semantics for many-valued modal logics.Zoran Majkic - 2008 - Journal of Applied Non-Classical Logics 18 (1):79-125.
    In this paper we consider the class of truth-functional modal many-valued logics with the complete lattice of truth-values. The conjunction and disjunction logic operators correspond to the meet and join operators of the lattices, while the negation is independently introduced as a hierarchy of antitonic operators which invert bottom and top elements. The non-constructive logic implication will be defined for a subclass of modular lattices, while the constructive implication for distributive lattices (Heyting algebras) is based on relative pseudo-complements as in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Note on Majkić's Systems.Hitoshi Omori & Toshiharu Waragai - 2010 - Notre Dame Journal of Formal Logic 51 (4):503-506.
    The present note offers a proof that systems developed by Majkić are actually extensions of intuitionistic logic, and therefore not paraconsistent.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Paraconsistent Logic and Weakening of Intuitionistic Negation.Zoran Majkić - 2012 - Journal of Intelligent Systems 21 (3):255-270.
    . A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. In an earlier paper [Notre Dame J. Form. Log. 49, 401–424], we developed the systems of weakening of intuitionistic negation logic, called and, in the spirit of da Costa's approach by preserving, differently from da Costa, the fundamental properties of negation: antitonicity, inversion and additivity for distributive lattices. Taking into account these results, we make some observations on the modified systems of and, (...)
    Download  
     
    Export citation  
     
    Bookmark