Switch to: References

Add citations

You must login to add citations.
  1. Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
    The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as logics of formal inconsistency and logics of formal undeterminedness.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • Empirical Negation, Co-Negation and Contraposition Rule I: Semantical Investigations.Satoru Niki - forthcoming - Bulletin of the Section of Logic.
    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ω.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • An Axiomatic Approach to CG′3 Logic.Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José Arrazola Ramírez & Mauricio Osorio Galindo - forthcoming - Logic Journal of the IGPL.
    In memoriam José Arrazola Ramírez The logic $\textbf{G}^{\prime}_3$ was introduced by Osorio et al. in 2008; it is a three-valued logic, closely related to the paraconsistent logic $\textbf{CG}^{\prime}_3$ introduced by Osorio et al. in 2014. The logic $\textbf{CG}^{\prime}_3$ is defined in terms of a multi-valued semantics and has the property that each theorem in $\textbf{G}^{\prime}_3$ is a theorem in $\textbf{CG}^{\prime}_3$. Kripke-type semantics has been given to $\textbf{CG}^{\prime}_3$ in two different ways by Borja et al. in 2016. In this work, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Axiom (Cc0) and Verifiability in Two Extracanonical Logics of Formal Inconsistency.Thomas Macaulay Ferguson - 2018 - Principia: An International Journal of Epistemology 22 (1):113-138.
    In the field of logics of formal inconsistency, the notion of “consistency” is frequently too broad to draw decisive conclusions with respect to the validity of many theses involving the consistency connective. In this paper, we consider the matter of the axiom 0—i.e., the schema ◦ ◦ϕ—by considering its interpretation in contexts in which “consistency” is understood as a type of verifiability. This paper suggests that such an interpretation is implicit in two extracanonical LFIs—Sören Halldén’s nonsense-logic C and Graham Priest’s (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Weakening and Extending {Mathbb{Z}}.Mauricio Osorio, J. L. Carballido, C. Zepeda & J. A. Castellanos - 2015 - Logica Universalis 9 (3):383-409.
    By weakening an inference rule satisfied by logic daC, we define a new paraconsistent logic, which is weaker than logic \ and G′ 3, enjoys properties presented in daC like the substitution theorem, and possesses a strong negation which makes it suitable to express intutionism. Besides, daC ' helps to understand the relationships among other logics, in particular daC, \ and PH1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations