On the admissible rules of intuitionistic propositional logic
From MaRDI portal
Publication:2732279
DOI10.2307/2694922zbMath0986.03013OpenAlexW2023712626MaRDI 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
Related Items (68)
On rules ⋮ Admissible inference rules and semantic property of modal logics ⋮ Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ Admissible bases via stable canonical rules ⋮ A syntactic approach to unification in transitive reflexive modal logics ⋮ Consequence relations and admissible rules ⋮ Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics ⋮ The Henkin Sentence ⋮ A Note on Extensions: Admissible Rules via Semantics ⋮ A Tableau Method for Checking Rule Admissibility in S4 ⋮ Structural completeness in propositional logics of dependence ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Admissibility in De Morgan algebras ⋮ Unnamed Item ⋮ Complexity of admissible rules ⋮ Hard provability logics ⋮ Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ 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 ⋮ KD is nullary ⋮ Explicit basis for admissible rules in \(K\)-saturated tabular logics ⋮ Admissible rules for six intuitionistic modal logics ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Admissible inference rules of modal WCP-logics ⋮ An explicit basis for \textit{WCP}-globally admissible inference rules ⋮ THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC ⋮ An explicit basis for admissible inference rules in table modal logics of width 2 ⋮ Singly generated quasivarieties and residuated structures ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Realisability for infinitary intuitionistic set theory ⋮ Unnamed Item ⋮ Best unifiers in transitive modal logics ⋮ Checking Admissibility Using Natural Dualities ⋮ 2006–07 Winter Meeting of the Association for Symbolic Logic ⋮ 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 ⋮ A note on admissible rules and the disjunction property in intermediate logics ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Unification in pretabular extensions of S4 ⋮ Linear temporal logic with until and next, logical consecutions ⋮ Finite frames fail: how infinity works its way into the semantics of admissibility ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ Intermediate logics and Visser's rules ⋮ Unification in linear temporal logic LTL ⋮ On the rules of intermediate logics ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Frege systems for extensible modal logics ⋮ THE -PROVABILITY LOGIC OF ⋮ Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics ⋮ A(nother) characterization of intuitionistic propositional logic ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ The Context of Inference ⋮ Unnamed Item ⋮ Proof Complexity of Non-classical Logics ⋮ Sugihara algebras: admissibility algebras via the test spaces method ⋮ Deductive systems with multiple-conclusion rules and the disjunction property ⋮ Proof theory for admissible rules ⋮ INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Structural completeness in many-valued logics with rational constants ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Constructive Modalities with Provability Smack ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ Rules with parameters in modal logic. I. ⋮ Admissibility via natural dualities
Cites Work
This page was built for publication: On the admissible rules of intuitionistic propositional logic
