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

zbMATH Open1298.03067MaRDI QIDQ2874889FDOQ2874889

Authors: Samuel J. van Gool 

Publication date: 12 August 2014

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

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)

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)