Pages that link to "Item:Q3019970"
From MaRDI portal
The following pages link to Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models (Q3019970):
Displaying 9 items.
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Positive Formulas in Intuitionistic and Minimal Logic (Q3455187) (← links)
- (Q4443201) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Notes on my scientific life (Q6612807) (← links)
- About the unification types of modal logics (Q6612813) (← links)