Pages that link to "Item:Q661289"
From MaRDI portal
The following pages link to A note on admissible rules and the disjunction property in intermediate logics (Q661289):
Displaying 8 items.
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
