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
KD is nullary, Checking Admissibility Using Natural Dualities, Unnamed Item, Unnamed Item, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge, Singly generated quasivarieties and residuated structures, THE -PROVABILITY LOGIC OF, The Context of Inference, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Constructive Modalities with Provability Smack, Multiple Conclusion Rules in Logics with the Disjunction Property, PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS, A(nother) characterization of intuitionistic propositional logic, Proof Complexity of Non-classical Logics, 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, On rules, Admissible bases via stable canonical rules, A syntactic approach to unification in transitive reflexive modal logics, Consequence relations and admissible rules, Structural completeness in propositional logics of dependence, 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, Finite frames fail: how infinity works its way into the semantics of admissibility, 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, Admissible inference rules and semantic property of modal logics, 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, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), Hereditarily structurally complete superintuitionistic deductive systems, Structural completeness in many-valued logics with rational constants, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Unification in pretabular extensions of S4, Sugihara algebras: admissibility algebras via the test spaces method, Deductive systems with multiple-conclusion rules and the disjunction property, 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, Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics, Hard provability logics, A Tableau Method for Checking Rule Admissibility in S4, Unnamed Item, 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
