Pages that link to "Item:Q2732279"
From MaRDI portal
The following pages link to On the admissible rules of intuitionistic propositional logic (Q2732279):
Displayed 28 items.
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- An explicit basis for admissible inference rules in table modal logics of width 2 (Q431673) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- A note on admissible rules and the disjunction property in intermediate logics (Q661289) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Complexity of admissible rules (Q868660) (← links)
- 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 (Q929294) (← links)
- Linear temporal logic with until and next, logical consecutions (Q947268) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- Admissibility in De Morgan algebras (Q2391905) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- Frege systems for extensible modal logics (Q2503409) (← links)
- The Henkin Sentence (Q3454817) (← links)
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
- 2006–07 Winter Meeting of the Association for Symbolic Logic (Q3533519) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- A(nother) characterization of intuitionistic propositional logic (Q5957911) (← links)