Pages that link to "Item:Q2732279"
From MaRDI portal
The following pages link to On the admissible rules of intuitionistic propositional logic (Q2732279):
Displayed 15 items.
- THE -PROVABILITY LOGIC OF (Q5195060) (← links)
- The Context of Inference (Q5208107) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- A(nother) characterization of intuitionistic propositional logic (Q5957911) (← links)
- Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- Admissible inference rules of modal WCP-logics (Q6193927) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC (Q6203558) (← links)