Pages that link to "Item:Q2732279"

The following pages link to On the admissible rules of intuitionistic propositional logic (Q2732279):

Displaying 20 items.

• On rules (Q266650) (← links)
• Admissible bases via stable canonical rules (Q284230) (← links)
• Consequence relations and admissible rules (Q300835) (← links)
• Structural completeness in propositional logics of dependence (Q334998) (← links)
• 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)
• Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509) (← 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)
• On the rules of intermediate logics (Q2501166) (← links)