The following pages link to (Q3830979):
Displayed 15 items.
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342) (← links)
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics (Q910395) (← links)
- A note on sequent calculi intermediate between LJ and LK (Q1115420) (← links)
- On finite linear intermediate predicate logics (Q1119624) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics (Q4608557) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← 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)