Switch to: References

Add citations

You must login to add citations.
  1. Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras.Wojciech Dzik & Sándor Radeleczki - 2017 - Bulletin of the Section of Logic 45 (3/4).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Admissible Bases Via Stable Canonical Rules.Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi & Mamuka Jibladze - 2016 - Studia Logica 104 (2):317-341.
    We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  • Preservation of Admissible Rules When Combining Logics.João Rasga, Cristina Sernadas & Amílcar Sernadas - 2016 - Review of Symbolic Logic 9 (4):641-663.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Admissibility in Positive Logics.Alex Citkin - 2017 - Logica Universalis 11 (4):421-437.
    The paper studies admissibility of multiple-conclusion rules in positive logics. Using modification of a method employed by M. Wajsberg in the proof of the separation theorem, it is shown that the problem of admissibility of multiple-conclusion rules in the positive logics is equivalent to the problem of admissibility in intermediate logics defined by positive additional axioms. Moreover, a multiple-conclusion rule \ follows from a set of multiple-conclusion rules \ over a positive logic \ if and only if \ follows from (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Unification on Subvarieties of Pseudocomplemented Distributive Lattices.Leonardo Cabrer - 2016 - Notre Dame Journal of Formal Logic 57 (4):477-502.
    In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification problem in each subvariety of pseudocomplemented distributive lattices.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • KD is Nullary.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):196-205.
    In the ordinary modal language, KD is the modal logic determined by the class of all serial frames. In this paper, we demonstrate that KD is nullary.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Structural Completeness in Relevance Logics.J. G. Raftery & K. Świrydowicz - 2016 - Studia Logica 104 (3):381-387.
    It is proved that the relevance logic \ has no structurally complete consistent axiomatic extension, except for classical propositional logic. In fact, no other such extension is even passively structurally complete.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Unification in Intermediate Logics.Rosalie Iemhoff & Paul Rozière - 2015 - Journal of Symbolic Logic 80 (3):713-729.
  • Hereditarily Structurally Complete Positive Logics.Alex Citkin - forthcoming - Review of Symbolic Logic:1-20.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On Unification and Admissible Rules in Gabbay–de Jongh Logics.Jeroen P. Goudsmit & Rosalie Iemhoff - 2014 - Annals of Pure and Applied Logic 165 (2):652-672.
    In this paper we study the admissible rules of intermediate logics. We establish some general results on extensions of models and sets of formulas. These general results are then employed to provide a basis for the admissible rules of the Gabbay–de Jongh logics and to show that these logics have finitary unification type.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Proof Complexity of Intuitionistic Implicational Formulas.Emil Jeřábek - 2017 - Annals of Pure and Applied Logic 168 (1):150-190.
  • Admissibility and Refutation: Some Characterisations of Intermediate Logics.Jeroen P. Goudsmit - 2014 - Archive for Mathematical Logic 53 (7-8):779-808.
  • Algebraic Semantics for the -Fragment of IPC and its Properties.Katarzyna Słomczyńska - 2017 - Mathematical Logic Quarterly 63 (3-4):202-210.
    We study the variety of equivalential algebras with zero and its subquasivariety that gives the equivalent algebraic semantics for the math formula-fragment of intuitionistic propositional logic. We prove that this fragment is hereditarily structurally complete. Moreover, we effectively construct the finitely generated free equivalential algebras with zero.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Algebraic Semantics for the (↔,¬¬)‐Fragment of IPC.Katarzyna Słomczyńska - 2012 - Mathematical Logic Quarterly 58 (1-2):29-37.
    We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the -fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations