Switch to: References

Add citations

You must login to add citations.
  1. A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.
    In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  • Exactly True and Non-Falsity Logics Meeting Infectious Ones.Alex Belikov & Yaroslav Petrukhin - forthcoming - Journal of Applied Non-Classical Logics:1-29.
    In this paper, we study logical systems which represent entailment relations of two kinds. We extend the approach of finding ‘exactly true’ and ‘non-falsity’ versions of four-valued logics that emerged in series of recent works [Pietz & Rivieccio (2013). Nothing but the truth. Journal of Philosophical Logic, 42(1), 125–135; Shramko (2019). Dual-Belnap logic and anything but falsehood. Journal of Logics and their Applications, 6, 413–433; Shramko et al. (2017). First-degree entailment and its relatives. Studia Logica, 105(6), 1291–1317] to the case (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • LP, K3, and FDE as Substructural Logics.Lionel Shapiro - 2017 - In Pavel Arazim & Tomáš Lavička (eds.), The Logica Yearbook 2016. London: College Publications.
    Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems. Second, the systems can be obtained by reformulating a classical system using nonstandard sequent structure and simply removing certain structural rules (relatives of exchange and contraction). I clarify two senses in which these logics count as “substructural.”.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Theories of Truth Based on Four-Valued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos - forthcoming - Logic Journal of the IGPL.
    Infectious logics are systems which have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated (i) as a way to treat different pathological sentences (like the Liar and the Truth-Teller) differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps, and (ii) as a way to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Interpolation Methods for Dunn Logics and Their Extensions.Stefan Wintein & Reinhard Muskens - 2017 - Studia Logica 105 (6):1319-1347.
    The semantic valuations of classical logic, strong Kleene logic, the logic of paradox and the logic of first-degree entailment, all respect the Dunn conditions: we call them Dunn logics. In this paper, we study the interpolation properties of the Dunn logics and extensions of these logics to more expressive languages. We do so by relying on the \ calculus, a signed tableau calculus whose rules mirror the Dunn conditions syntactically and which characterizes the Dunn logics in a uniform way. In (...)
    Download  
     
    Export citation  
     
    Bookmark