Pages that link to "Item:Q1361246"
From MaRDI portal
The following pages link to Constructive canonicity in non-classical logics (Q1361246):
Displayed 19 items.
- The distributivity on bi-approximation semantics (Q306839) (← links)
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Canonical extensions of posets. (Q466925) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
- (Q5119388) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- Canonical extensions and relational completeness of some substructural logics (Q5718685) (← links)
- Bounded lattice expansions (Q5936163) (← links)
- Topological duality and algebraic completions (Q6120604) (← links)