Switch to: References

Add citations

You must login to add citations.
  1. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Self-extensional three-valued paraconsistent logics have no implications.Arnon Avron & Jean-Yves Beziau - 2016 - Logic Journal of the IGPL 25 (2):183-194.
    A proof is presented showing that there is no paraconsistent logics with a standard implication which have a three-valued characteristic matrix, and in which the replacement principle holds.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Logic may be simple. Logic, congruence and algebra.Jean-Yves Béziau - 1997 - Logic and Logical Philosophy 5:129-147.
    This paper is an attempt to clear some philosophical questions about the nature of logic by setting up a mathematical framework. The notion of congruence in logic is defined. A logical structure in which there is no non-trivial congruence relation, like some paraconsistent logics, is called simple. The relations between simplicity, the replacement theorem and algebraization of logic are studied (including MacLane-Curry’s theorem and a discussion about Curry’s algebras). We also examine how these concepts are related to such notions as (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Limits for Paraconsistent Calculi.Walter A. Carnielli & João Marcos - 1999 - Notre Dame Journal of Formal Logic 40 (3):375-390.
    This paper discusses how to define logics as deductive limits of sequences of other logics. The case of da Costa's hierarchy of increasingly weaker paraconsistent calculi, known as $ \mathcal {C}$n, 1 $ \leq$ n $ \leq$ $ \omega$, is carefully studied. The calculus $ \mathcal {C}$$\scriptstyle \omega$, in particular, constitutes no more than a lower deductive bound to this hierarchy and differs considerably from its companions. A long standing problem in the literature (open for more than 35 years) is (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3DH.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 30 (1):117-138.
    The logic DHb is the result of extending Sylvan and Plumwood’s minimal De Morgan logic BM with a dual intuitionistic negation of the type Sylvan defined for the extension CCω of da Costa’s paraconsistent logic Cω. We provide Routley–Meyer ternary relational semantics with a set of designated points for DHb and a wealth of its extensions included in G3DH, the expansion of G3+ with a dual intuitionistic negation of the kind considered by Sylvan (G3+ is the positive fragment of Gödelian (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations.Satoru Niki - 2020 - Bulletin of the Section of Logic 49 (3):231-253.
    We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then establish the relationship between logics related to these negations under unified syntax and semantics based on R. Sylvan's CCω.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A paraconsistent 3-valued logic related to Godel logic G3.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (4):515-538.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Basic Quasi-Boolean Expansions of Relevance Logics.Gemma Robles & José M. Méndez - 2021 - Journal of Philosophical Logic 50 (4):727-754.
    The basic quasi-Boolean negation expansions of relevance logics included in Anderson and Belnap’s relevance logic R are defined. We consider two types of QB-negation: H-negation and D-negation. The former one is of paraintuitionistic or superintuitionistic character, the latter one, of dual intuitionistic nature in some sense. Logics endowed with H-negation are paracomplete; logics with D-negation are paraconsistent. All logics defined in the paper are given a Routley-Meyer ternary relational semantics.
    Download  
     
    Export citation  
     
    Bookmark  
  • Routley Star and Hyperintensionality.Sergei Odintsov & Heinrich Wansing - 2020 - Journal of Philosophical Logic 50 (1):33-56.
    We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Equivalence among RC-type paraconsistent logics.Mauricio Osorio & José Abel Castellanos Joo - 2017 - Logic Journal of the IGPL 25 (2):239-252.
    In this article we review several paraconsistent logics from different authors to ‘close the gaps’ between them. Since paraconsistent logics is a broad area of research, it is possible that equivalent paraconsistent logics have different names. What we meant is that we provide connections between the logics studied comparing their different semantical approaches for a near future be able to obtain missing semantical characterization of different logics. We are introducing the term RC-type logics to denote a class of logics that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Paraconsistency, self-extensionality, modality.Arnon Avron & Anna Zamansky - 2020 - Logic Journal of the IGPL 28 (5):851-880.
    Paraconsistent logics are logics that, in contrast to classical and intuitionistic logic, do not trivialize inconsistent theories. In this paper we take a paraconsistent view on two famous modal logics: B and S5. We use for this a well-known general method for turning modal logics to paraconsistent logics by defining a new negation as $\neg \varphi =_{Def} \sim \Box \varphi$. We show that while that makes both B and S5 members of the well-studied family of paraconsistent C-systems, they differ from (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations.Satoru Niki - 2020 - Bulletin of the Section of Logic 49 (4):359-375.
    We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis. In this paper we use this result to obtain cut-free labelled sequent calculi for the logics.
    Download  
     
    Export citation  
     
    Bookmark  
  • On Extensions of a System of Paraconsistent Logic PCL1.Hitoshi Omori & Toshiharu Waragai - 2012 - Journal of the Japan Association for Philosophy of Science 39 (2):51-68.
    Download  
     
    Export citation  
     
    Bookmark  
  • A paraconsistent view on B and S5.Arnon Avron & Anna Zamansky - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 21-37.
    Download  
     
    Export citation  
     
    Bookmark   4 citations