The following pages link to (Q4204132):
Displaying 7 items.
- Generalized Kripke semantics for Nelson's logic (Q694210) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
