Pages that link to "Item:Q3970453"
From MaRDI portal
The following pages link to CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS (Q3970453):
Displaying 6 items.
- On the admissible rules of intuitionistic propositional logic (Q2732279) (← links)
- Admissible Rules of Lukasiewicz Logic (Q3553916) (← links)
- Canonical rules (Q3655251) (← links)
- Admissibility of rules of inference with parameters in intuitionistic logic, and intuitionistic Kripke models (Q3970454) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- The permutability of rules in the classical inferential calculus (Q5813906) (← links)