Results for ' 03G10'

7 found
Order:
  1.  9
    Most Simple Extensions of Are Undecidable.Nikolaos Galatos & Gavin St John - 2022 - Journal of Symbolic Logic 87 (3):1156-1200.
    All known structural extensions of the substructural logic $\textbf{FL}_{\textbf{e}}$, the Full Lambek calculus with exchange/commutativity (corresponding to subvarieties of commutative residuated lattices axiomatized by $\{\vee, \cdot, 1\}$ -equations), have decidable theoremhood; in particular all the ones defined by knotted axioms enjoy strong decidability properties (such as the finite embeddability property). We provide infinitely many such extensions that have undecidable theoremhood, by encoding machines with undecidable halting problem. An even bigger class of extensions is shown to have undecidable deducibility problem (the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  24
    The Lattice of Super-Belnap Logics.Adam Přenosil - 2023 - Review of Symbolic Logic 16 (1):114-163.
    We study the lattice of extensions of four-valued Belnap–Dunn logic, called super-Belnap logics by analogy with superintuitionistic logics. We describe the global structure of this lattice by splitting it into several subintervals, and prove some new completeness theorems for super-Belnap logics. The crucial technical tool for this purpose will be the so-called antiaxiomatic (or explosive) part operator. The antiaxiomatic (or explosive) extensions of Belnap–Dunn logic turn out to be of particular interest owing to their connection to graph theory: the lattice (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Natural Kind Semantics for a Classical Essentialist Theory of Kinds.Javier Belastegui - 2024 - Review of Symbolic Logic 17 (2).
    The aim of this paper is to provide a complete Natural Kind Semantics for an Essentialist Theory of Kinds. The theory is formulated in two-sorted first order monadic modal logic with identity. The natural kind semantics is based on Rudolf Willes Theory of Concept Lattices. The semantics is then used to explain several consequences of the theory, including results about the specificity (species–genus) relations between kinds, the definitions of kinds in terms of genera and specific differences and the existence of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  32
    Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions.Alexej P. Pynko - 1999 - Journal of Applied Non-Classical Logics 9 (1):61-105.
    In this paper we study 12 four-valued logics arisen from Belnap's truth and/or knowledge four-valued lattices, with or without constants, by adding one or both or none of two new non-regular operations—classical negation and natural implication. We prove that the secondary connectives of the bilattice four-valued logic with bilattice constants are exactly the regular four-valued operations. Moreover, we prove that its expansion by any non-regular connective (such as, e.g., classical negation or natural implication) is strictly functionally complete. Further, finding axiomatizations (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  5.  18
    Extensions of Hałkowska–Zajac's three-valued paraconsistent logic.Alexej P. Pynko - 2002 - Archive for Mathematical Logic 41 (3):299-307.
    As it was proved in [4, Sect. 3], the poset of extensions of the propositional logic defined by a class of logical matrices with equationally-definable set of distinguished values is a retract, under a Galois connection, of the poset of subprevarieties of the prevariety generated by the class of the underlying algebras of the defining matrices. In the present paper we apply this general result to the three-valued paraconsistent logic proposed by Hałkowska–Zajac [2]. Studying corresponding prevarieties, we prove that extensions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  36
    On the free implicative semilattice extension of a Hilbert algebra.Sergio A. Celani & Ramon Jansana - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
    Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices. Porta proved that every Hilbert algebra has a free implicative semilattice extension. In this paper we introduce the notion of an optimal deductive filter of a Hilbert algebra and use it to provide a different proof of the existence of the free implicative semilattice extension of a Hilbert algebra as well as a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  48
    On Priest's logic of paradox.Alexej P. Pynko - 1995 - Journal of Applied Non-Classical Logics 5 (2):219-225.
    The present paper concerns a technical study of PRIEST'S logic of paradox [Pri 79], We prove that this logic has no proper paraconsistent strengthening. It is also proved that the mentioned logic is the largest paraconsistent one satisfaying TARSKI'S conditions for the classical conjunction and disjunction together with DE MORGAN'S laws for negation. Finally, we obtain for the logic of paradox an algebraic completeness result related to Kleene lattices.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations