The following pages link to (Q3032232):
Displaying 14 items.
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Decidability of the admissibility problem in layer-finite logics (Q1064315) (← links)
- Admissible rules for logics containing S4.3 (Q1068809) (← links)
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic (Q1079558) (← links)
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- Admissibility of logical inference rules (Q1309039) (← links)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480) (← links)
- Decidable modal logic with undecidable admissibility problem (Q2366361) (← links)
- On the problem of R. E. Tax (Q2772905) (← links)
- A Resolution/Tableaux Algorithm for Projective Approximations in IPC (Q3147430) (← links)
- DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC (Q3762284) (← links)
- Admissibility of rules of inference with parameters in intuitionistic logic, and intuitionistic Kripke models (Q3970454) (← links)
- Rules and arithmetics (Q5937848) (← links)
