The following pages link to (Q4128534):
Displaying 7 items.
- A decidable noncompact extension of the logic S4 (Q599805) (← links)
- Comparison of the topological and relational semantics of superintuitionistic logics (Q795828) (← links)
- A result on the completeness of superintuitionistic logics (Q1059064) (← links)
- Superintuitionistic logics approximated by algebras with the descending chain condition (Q1065787) (← links)
- Varieties of algebraic systems and propositional calculi (Q1080449) (← links)
- Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics (Q1170234) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
