Order:
  1.  22
    A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics.Natalya Tomova - 2021 - Bulletin of the Section of Logic 50 (1):35-53.
    In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig one logic into another. The mechanism of variation of paraconsistency and paracompleteness properties in logics is demonstrated on the example of two four-element lattices included in the upper semi-lattice. Functional properties and sets of tautologies of corresponding literal-paraconsistent-paracomplete matrices are investigated. Among the considered matrices there are the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark