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 5 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)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)