Switch to: Citations

Add references

You must login to add references.
  1. Conjunction and Disjunction in Infectious Logics.Hitoshi Omori & Damian Szmuc - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 268-283.
    In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.
    Paraconsistent Weak Kleene logic is the 3-valued logic with two designated values defined through the weak Kleene tables. This paper is a first attempt to investigate PWK within the perspective and methods of abstract algebraic logic. We give a Hilbert-style system for PWK and prove a normal form theorem. We examine some algebraic structures for PWK, called involutive bisemilattices, showing that they are distributive as bisemilattices and that they form a variety, \, generated by the 3-element algebra WK; we also (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.
    A three-valued propositional logic is presented, within which the three values are read as ?true?, ?false? and ?nonsense?. A three-valued extended functional calculus, unrestricted by the theory of types, is then developed. Within the latter system, Bochvar analyzes the Russell paradox and the Grelling-Weyl paradox, formally demonstrating the meaninglessness of both.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Saving truth from paradox.Hartry Field - 2008 - New York: Oxford University Press.
    A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.
    Download  
     
    Export citation  
     
    Bookmark   335 citations  
  • Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   182 citations  
  • (1 other version)Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Hyper-contradictions.G. Priest - 1984 - Logique Et Analyse 27 (7):237.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • A note on negation.CharlesB Daniels - 1990 - Erkenntnis 32 (3):423 - 429.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The need for nonsense.R. Routley - 1969 - Australasian Journal of Philosophy 47 (3):367 – 384.
    Download  
     
    Export citation  
     
    Bookmark   18 citations