Pages that link to "Item:Q1064315"
From MaRDI portal
The following pages link to Decidability of the admissibility problem in layer-finite logics (Q1064315):
Displayed 3 items.
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic (Q1079558) (← links)
- Bases of admissible rules of the logics S4 and Int (Q1079559) (← links)