Constructing the Lindenbaum algebra for a logic step-by-step using duality

zbMATH1298.03067MaRDI QIDQ2874889FDOQ2874889

Authors Samuel J. van Gool

Publication date 12 August 2014

zbMATH Keywords

modal logicBoolean algebras with operatorsdiscrete dualityLindenbaum algebramixed-rank axiomatizations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• Free modal algebras revisited: the step-by-step method
• Free Modal Algebras: A Coalgebraic Perspective
• A Duality for Algebras of Lattice-Valued Modal Logic
• A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
• Dualities for structures of applied logics

Cited in

(1)

• Free modal algebras revisited: the step-by-step method

This page was built for publication: Constructing the Lindenbaum algebra for a logic step-by-step using duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2874889)