Switch to: References

Add citations

You must login to add citations.
  1. From Logics of Formal Inconsistency to Logics of Formal Classicality.Hitoshi Omori - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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 (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
    We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Fixed-Point Posets in Theories of Truth.Stephen Mackereth - 2019 - Journal of Philosophical Logic (1).
    We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Remarks on the Gupta-Belnap Fixed-Point Property for K-Valued Clones.José Martínez-Fernández - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):118-131.
    Here, I first prove that certain families of k-valued clones have the Gupta-Belnap fixed-point property. This essentially means that all propositional languages that are interpreted with operators belonging to those clones are such that any net of self-referential sentences in the language can be consistently evaluated. I then focus on two four-valued generalisations of the Kleene propositional operators that generalise the strong and weak Kleene operators: Belnap?s clone and Fitting?s clone, respectively. I apply the theorems from the initial part of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation