On the admissible rules of intuitionistic propositional logic
From MaRDI portal
Publication:2732279
DOI10.2307/2694922zbMath0986.03013MaRDI QIDQ2732279
Publication date: 6 June 2002
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/26939
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Constructive Modalities with Provability Smack, A(nother) characterization of intuitionistic propositional logic, Proof Complexity of Non-classical Logics, Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\), On unification and admissible rules in Gabbay-de Jongh logics, An explicit basis for admissible inference rules in table modal logics of width 2, Admissibility and refutation: some characterisations of intermediate logics, Intermediate logics and Visser's rules, Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition, Admissible rules in the implication-negation fragment of intuitionistic logic, Best unifiers in transitive modal logics, A note on admissible rules and the disjunction property in intermediate logics, Unification in linear temporal logic LTL, Complexity of admissible rules, Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms, Linear temporal logic with until and next, logical consecutions, Proof theory for admissible rules, Inference rules in Nelson's logics, admissibility and weak admissibility, Rules with parameters in modal logic. I., Admissibility via natural dualities, Admissibility in De Morgan algebras, On the rules of intermediate logics, Frege systems for extensible modal logics, The Henkin Sentence, A Note on Extensions: Admissible Rules via Semantics, 2006–07 Winter Meeting of the Association for Symbolic Logic, Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics, INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
Cites Work
