Positive (Modal) Logic Beyond Distributivity
We present a duality for non-necessarily-distributive (modal) lattices and use this to study non-necessarily-distributive positive (modal) logic. Our duality is similar to Priestley duality and as such allows us to use similar tools and techniques to study logic. As a result, we prove Sahlqvist correspondence and canonicity for both the propositional logic as well as a modal extension.
READ FULL TEXT