Pages that link to "Item:Q4304123"
From MaRDI portal
The following pages link to Intermediate logics preserving admissible inference rules of heyting calculus (Q4304123):
Displaying 4 items.
- Intermediate logics and the de Jongh property (Q627438) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
