Abstract:Every Sahlqvist formula is an elementary complete one.If we take Sahlqvist formulae as addition axioms to the minimal normal modal logic K,we get a strong elementary logic,namely Sahlqvist logic.In this paper we discuss properties of the class of Sahlqvist logics S.It is closed under intersection and another set operation that can be looked upon as logical union,so that S forms a lattice.Let E denote the class of logics K(?)fin_(mn).It is easy to determine that E is a subclass of S.We can deduce that every K(?)fin_(mn) is a canonical logic,following from the Sahlqvist theorem.We can also get the same result by studying properties of the canonical frame of K(?)fin_(mn).E is an interesting subclass of S.It is a sublattice of S.It has a regular geometric form, in which there are infinite length chains,but every antichain in E is finite.Besides, the well known tabular logics are closely related to E,for every tabular logic is an extension of some K(?)fin_(mn).From the result that E has infinite length chains,we can easily know that S also has infinite length antichain.We can prove that in the class {K(?)~i□p→□(?)~ip|i<ω},every logic is not contained in others,so that this class is an infinite length antichain of S,which is different from the result of E.The incomplete degree is an important concept when we study logical lattices.Usually,it is not easy to study the incomplete degree problems.However,we can easily conclude that the incomplete degree of Sahlqvist logic respect to the lattice S is 1.

A NOTE ON LATTICES OF QUOTIENTS OF COMPLETE BOOLEAN ALGEBRAS

Lattices of quotients of completely distributive lattices

Quotients and subalgebras of sup-algebras

Completely Algebraic Lattices And Their Representations Via Boolean And-Structures And Information Systems

Lattice-valued Modal Propositional Logic and Its Completeness

Quotients of L-domains

Quantale Algebras As Lattice-Valued Quantales

Lattices Associated with Partial Injective Linear Maps of Finite Vector Spaces

Lattices and Their Consistent Quantification

A New View of Relationship Between Atomic Posets and Complete (algebraic) Lattices

Boolean Theory in the Propositional Logic System(ζ)*

Boolean lattices of torsion classes over finite-dimensional algebras

A dual equivalence for cofinal quantum <i>B</i>-algebras

Axiomatization of Boolean algebras via weak dicomplementations

A note on the lattice structure for subalgebras of the algebra of truth values of type-2 fuzzy sets

Quasicontinuous Domains and Generalized Completely Distributive Lattices

Some Further Results on Free Quantale Algebras.

Completely algebraic lattices and their representations via ∩-structures and information systems

The Lattice of Sahlqvist Logics

Many-valued complete distributivity

On Ordinal Sums of Overlap and Grouping Functions on Complete Lattices