Switch to: References

Add citations

You must login to add citations.
  1. Proof Theory of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - 2020 - Studia Logica 108 (4):779-802.
    Paraconsistent Weak Kleene Logic is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of the existing proof systems for PWK are characterised by the presence of linguistic restrictions on some of their rules. This feature can be seen as a shortcoming. We provide a cut-free calculus for PWK that is devoid of such provisos. Moreover, we introduce a Priest-style tableaux calculus for PWK.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Structural Proof Theory for First-Order Weak Kleene Logics.Andreas Fjellstad - 2020 - Journal of Applied Non-Classical Logics 30 (3):272-289.
    This paper presents a sound and complete five-sided sequent calculus for first-order weak Kleene valuations which permits not only elegant representations of four logics definable on first-order weak Kleene valuations, but also admissibility of five cut rules by proof analysis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Exactly True and Non-Falsity Logics Meeting Infectious Ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Extensions of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - forthcoming - Logic Journal of the IGPL.
    Paraconsistent weak Kleene logic is the $3$-valued logic based on the weak Kleene matrices and with two designated values. In this paper, we investigate the poset of prevarieties of generalized involutive bisemilattices, focussing in particular on the order ideal generated by Α$\textrm{lg} $. Applying to this poset a general result by Alexej Pynko, we prove that, exactly like Priest’s logic of paradox, $\textrm{PWK}$ has only one proper nontrivial extension apart from classical logic: $\textrm{PWK}_{\textrm{E}}\textrm{,}$ PWK logic plus explosion. This $6$-valued logic, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Algebraic Analysis of Demodalised Analytic Implication.Antonio Ledda, Francesco Paoli & Michele Pra Baldi - 2019 - Journal of Philosophical Logic 48 (6):957-979.
    The logic DAI of demodalised analytic implication has been introduced by J.M. Dunn as a variation on a time-honoured logical system by C.I. Lewis’ student W.T. Parry. The main tenet underlying this logic is that no implication can be valid unless its consequent is “analytically contained” in its antecedent. DAI has been investigated both proof-theoretically and model-theoretically, but no study so far has focussed on DAI from the viewpoint of abstract algebraic logic. We provide several different algebraic semantics for DAI, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • Stone-Type Representations and Dualities for Varieties of Bisemilattices.Antonio Ledda - 2018 - Studia Logica 106 (2):417-448.
    In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes’ representation theorem to bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas–Dunn duality and introduce the categories of 2spaces and 2spaces\. The categories of 2spaces and 2spaces\ will play with respect to the categories of distributive bisemilattices and De Morgan bisemilattices, respectively, a role analogous to the category of Stone spaces (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Normality Operators and Classical Recapture in Many-Valued Logic.Roberto Ciuni & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Note on Goddard and Routley's Significance Logic.Damian Szmuc & Hitoshi Omori - 2018 - Australasian Journal of Logic 15 (2):431-448.
    The present note revisits the joint work of Leonard Goddard and Richard Routley on significance logics with the aim of shedding new light on their understanding by studying them under the lens of recent semantic developments, such as the plurivalent semantics developed by Graham Priest. These semantics allow sentences to receive one, more than one, or no truth-value at all from a given carrier set. Since nonsignificant sentences are taken to be neither true nor false, i.e. truth-value gaps, in this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.
    This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logics of Left Variable Inclusion and Płonka Sums of Matrices.S. Bonzio, T. Moraschini & M. Pra Baldi - forthcoming - Archive for Mathematical Logic:1-28.
    The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic \. We prove that the description of the algebraic counterpart of the left variable inclusion companion of a given logic \ is related to the construction of Płonka sums of the matrix models of \. This observation allows to obtain a Hilbert-style axiomatization of the logics of left variable inclusion, to describe the structure of their reduced models, and to locate (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Semantical Analysis of Weak Kleene Logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
    This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
    This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Two-Valued Weak Kleene Logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.
    In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of the Weak Kleene logics with unary operators that allow looking at them as (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Duality for Involutive Bisemilattices.Stefano Bonzio, Andrea Loi & Luisa Peruzzi - 2019 - Studia Logica 107 (2):423-444.
    We establish a duality between the category of involutive bisemilattices and the category of semilattice inverse systems of Stone spaces, using Stone duality from one side and the representation of involutive bisemilattices as Płonka sum of Boolean algebras, from the other. Furthermore, we show that the dual space of an involutive bisemilattice can be viewed as a GR space with involution, a generalization of the spaces introduced by Gierz and Romanowska equipped with an involution as additional operation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Dualities for Płonka Sums.Stefano Bonzio - 2018 - Logica Universalis 12 (3-4):327-339.
    Płonka sums consist of an algebraic construction similar, in some sense, to direct limits, which allows to represent classes of algebras defined by means of regular identities. Recently, Płonka sums have been connected to logic, as they provide algebraic semantics to logics obtained by imposing a syntactic filter to given logics. In this paper, I present a very general topological duality for classes of algebras admitting a Płonka sum representation in terms of dualisable algebras.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics.Yaroslav I. Petrukhin - 2017 - Logica Universalis 11 (4):525-532.
    In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.
    Correspondence analysis is Kooi and Tamminga’s universal approach which generates in one go sound and complete natural deduction systems with independent inference rules for tabular extensions of many-valued functionally incomplete logics. Originally, this method was applied to Asenjo–Priest’s paraconsistent logic of paradox LP. As a result, one has natural deduction systems for all the logics obtainable from the basic three-valued connectives of LP -language) by the addition of unary and binary connectives. Tamminga has also applied this technique to the paracomplete (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation