Order:
  1.  18
    The class of all 3-valued natural conditional variants of RM3 that are Plumwood Algebras.Jose Miguel Blanco, Sandra M. Lopez & Marcos M. Recio - 2023 - Australasian Journal of Logic 20 (2):188-218.
    Valerie Plumwood introduced in "Some false laws of logic" a series of arguments on how the rules Exported Syllogism, Disjunctive Syllogism, Commutation, and Exportation are not acceptable. Based on this we define the class of Plumwood algebras - logical matrices that do not verify any of these theses. Afterwards we provide conditional variants of the characteristic matrix of the logic RM3 that are also Plumwood algebras. These matrices are given an axiomatization based on First Degree Entailment and are endowed with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  24
    An Implicative Expansion of Belnap’s Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes.José Miguel Blanco - 2020 - Bulletin of Symbolic Logic 26 (3-4):297-298.
  3.  26
    EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes. [REVIEW]José Miguel Blanco - forthcoming - Logic and Logical Philosophy:75-104.
    The logic BN4 was defined by R.T. Brady as a four-valued extension of Routley and Meyer’s basic logic B. The system EF4 is defined as a companion to BN4 to represent the four-valued system of implication. The system Ł was defined by J. Łukasiewicz and it is a four-valued modal logic that validates what is known as strong Łukasiewicz-type modal paradoxes. The systems EF4-M and EF4-Ł are defined as alternatives to Ł without modal paradoxes. This paper aims to define a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations