Pages that link to "Item:Q5214733"
From MaRDI portal
The following pages link to Characteristic Formulas Over Intermediate Logics (Q5214733):
Displaying 3 items.
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) (← links)