Pages that link to "Item:Q2501166"
From MaRDI portal
The following pages link to On the rules of intermediate logics (Q2501166):
Displayed 11 items.
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Hilbert-style presentations of two logics associated to tetravalent modal algebras (Q456967) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- A note on admissible rules and the disjunction property in intermediate logics (Q661289) (← links)
- Complexity of admissible rules (Q868660) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Canonical rules (Q3655251) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)