Switch to: References

Add citations

You must login to add citations.
  1. 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 in Intermediate Logics.Rosalie Iemhoff & Paul Rozière - 2015 - Journal of Symbolic Logic 80 (3):713-729.
  • Unification in Superintuitionistic Predicate Logics and its Applications.Wojciech Dzik & Piotr Wojtylak - 2019 - Review of Symbolic Logic 12 (1):37-61.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Admissibility and Refutation: Some Characterisations of Intermediate Logics.Jeroen P. Goudsmit - 2014 - Archive for Mathematical Logic 53 (7-8):779-808.