Pages that link to "Item:Q1970921"
From MaRDI portal
The following pages link to Algebraic Kripke sheaf semantics for non-classical predicate logics (Q1970921):
Displayed 4 items.
- First-order intensional logic (Q598308) (← links)
- Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics (Q4608557) (← links)
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) (← links)
- A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics (Q6201547) (← links)