Pages that link to "Item:Q3762284"
From MaRDI portal
The following pages link to DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC (Q3762284):
Displaying 11 items.
- Logical equations and admissible rules of inference with parameters in modal provability logics (Q805609) (← 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)
- On structural completeness of implicational logics (Q1181489) (← links)
- The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC (Q1317616) (← links)
- The undecidability of Grišin's set theory (Q1402586) (← links)
- A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding (Q2804325) (← links)
- What is an inference rule? (Q4032879) (← links)
- Undecidability of the elementary theory of the semilattice of GLP-words (Q4650150) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)