Switch to: References

Add citations

You must login to add citations.
  1. N-valued maximal paraconsistent matrices.Adam Trybus - 2019 - Journal of Applied Non-Classical Logics 29 (2):171-183.
    ABSTRACTThe articles Maximality and Refutability Skura [. Maximality and refutability. Notre Dame Journal of Formal Logic, 45, 65–72] and Three-valued Maximal Paraconsistent Logics Skura and Tuziak [. Three-valued maximal paraconsistent logics. In Logika. Wydawnictwo Uniwersytetu Wrocławskiego] introduced a simple method of proving maximality of a given paraconsistent matrix. This method stemmed from the so-called refutation calculus, where the focus in on rejecting rather than accepting formulas. The article A Generalisation of a Refutation-related Method in Paraconsistent Logics Trybus [. A generalisation (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Subquasivarieties of implicative locally-finite quasivarieties.Alexej P. Pynko - 2010 - Mathematical Logic Quarterly 56 (6):643-658.