Duality for lattice-ordered algebras and for normal algebraizable logics (Q1368914)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Duality for lattice-ordered algebras and for normal algebraizable logics |
scientific article |
Statements
Duality for lattice-ordered algebras and for normal algebraizable logics (English)
0 references
10 May 1998
0 references
This paper consists of three parts. In Part I, a new topological representation for general lattices is presented, and this representation is extended to a full duality. In Part II, the Jónsson and Tarski representation results for Boolean algebras with operators are extended for lattice-ordered algebras (lattices with additional operators). Finally, in Part III, some applications in logic are discussed. The representation results are used to construct canonical frames for certain logical systems and to obtain a duality for their algebraic and Kripke-style semantics.
0 references
algebraic semantics
0 references
topological representation
0 references
duality
0 references
lattice-ordered algebras
0 references
canonical frames
0 references
Kripke-style semantics
0 references