Pages that link to "Item:Q2395033"
From MaRDI portal
The following pages link to On not strengthening intuitionistic logic (Q2395033):
Displaying 5 items.
- Derivability of admissible rules (Q1245932) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)