Pages that link to "Item:Q386639"
From MaRDI portal
The following pages link to On unification and admissible rules in Gabbay-de Jongh logics (Q386639):
Displayed 9 items.
- On rules (Q266650) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)