The following pages link to (Q3684108):
Displayed 5 items.
- On finite linear intermediate predicate logics (Q1119624) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- A new semantics for intuitionistic predicate logic (Q1820768) (← links)
- Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics (Q4608557) (← links)
- A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics (Q6201547) (← links)