Switch to: References

Add citations

You must login to add citations.
  1. Admissibility and refutation: some characterisations of intermediate logics.Jeroen P. Goudsmit - 2014 - Archive for Mathematical Logic 53 (7-8):779-808.
    Refutation systems are formal systems for inferring the falsity of formulae. These systems can, in particular, be used to syntactically characterise logics. In this paper, we explore the close connection between refutation systems and admissible rules. We develop technical machinery to construct refutation systems, employing techniques from the study of admissible rules. Concretely, we provide a refutation system for the intermediate logics of bounded branching, known as the Gabbay–de Jongh logics. We show that this gives a characterisation of these logics (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Admissible Rules of ${{mathsf{BD}_{2}}}$ and ${mathsf{GSc}}$.Jeroen P. Goudsmit - 2018 - Notre Dame Journal of Formal Logic 59 (3):325-353.
    The Visser rules form a basis of admissibility for the intuitionistic propositional calculus. We show how one can characterize the existence of covers in certain models by means of formulae. Through this characterization, we provide a new proof of the admissibility of a weak form of the Visser rules. Finally, we use this observation, coupled with a description of a generalization of the disjunction property, to provide a basis of admissibility for the intermediate logics BD2 and GSc.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Preservation of admissible rules when combining logics.João Rasga, Cristina Sernadas & Amílcar Sernadas - 2016 - Review of Symbolic Logic 9 (4):641-663.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Unification in superintuitionistic predicate logics and its applications.Wojciech Dzik & Piotr Wojtylak - 2019 - Review of Symbolic Logic 12 (1):37-61.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Unification in intermediate logics.Rosalie Iemhoff & Paul Rozière - 2015 - Journal of Symbolic Logic 80 (3):713-729.
    Download  
     
    Export citation  
     
    Bookmark   4 citations