Switch to: Citations

Add references

You must login to add references.
  1. Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
    We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show the expansion complete and maximal. Finally, we compare BD+ to some related systems found in the literature, specifically a four-valued modal logic of Béziau and (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Paraconsistent logic from a modal viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  • How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.
    Download  
     
    Export citation  
     
    Bookmark   156 citations  
  • The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.
    The article is devoted to the systematic study of the lattice εN4⊥ consisting of logics extending N4⊥. The logic N4⊥ is obtained from paraconsistent Nelson logic N4 by adding the new constant ⊥ and axioms ⊥ → p, p → ∼ ⊥. We study interrelations between εN4⊥ and the lattice of superintuitionistic logics. Distinguish in εN4⊥ basic subclasses of explosive logics, normal logics, logics of general form and study how they are relate.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
    Download  
     
    Export citation  
     
    Bookmark   162 citations  
  • Paraconsistent double negation as a modal operator.Norihiro Kamide - 2016 - Mathematical Logic Quarterly 62 (6):552-562.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Hierarchy of Weak Double Negations.Norihiro Kamide - 2013 - Studia Logica 101 (6):1277-1297.
    In this paper, a way of constructing many-valued paraconsistent logics with weak double negation axioms is proposed. A hierarchy of weak double negation axioms is addressed in this way. The many-valued paraconsistent logics constructed are defined as Gentzen-type sequent calculi. The completeness and cut-elimination theorems for these logics are proved in a uniform way. The logics constructed are also shown to be decidable.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Intuitionistic logic with strong negation.Yuri Gurevich - 1977 - Studia Logica 36 (1-2):49 - 59.
    This paper is a reaction to the following remark by grzegorczyk: "the compound sentences are not a product of experiment. they arise from reasoning. this concerns also negations; we see that the lemon is yellow, we do not see that it is not blue." generally, in science the truth is ascertained as indirectly as falsehood. an example: a litmus-paper is used to verify the sentence "the solution is acid." this approach gives rise to a (very intuitionistic indeed) conservative extension of (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Star and perp: Two treatments of negation.J. Michael Dunn - 1993 - Philosophical Perspectives 7:331-357.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.
    Download  
     
    Export citation  
     
    Bookmark   232 citations  
  • A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
    Download  
     
    Export citation  
     
    Bookmark   261 citations  
  • A new four-valued approach to modal logic.Jean-Yves Béziau - 2011 - Logique Et Analyse 54 (213):109.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Klassische und nichtklassische Aussagenlogik.Wolfgang Rautenberg - 1980 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 11 (2):405-407.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Klassische und nichtklassische Aussagenlogik.Wolfgang Rautenberg - 1982 - Studia Logica 41 (4):431-431.
    Download  
     
    Export citation  
     
    Bookmark   41 citations