Canonical extensions and relational representations of lattices with negation

DOI10.1007/S11225-009-9171-8zbMath1172.03032OpenAlexW2075776012MaRDI QIDQ1015482

Agostinho Almeida

Publication date: 8 May 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9171-8

zbMATH Keywords

latticedualitynegationcanonical extension

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10)

Related Items (3)

Relational semantics for full linear logic ⋮ \(\Delta_1\)-completions of a poset. ⋮ Canonical extensions and ultraproducts of polarities

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Negation in the context of gaggle theory
• Generalized Kripke frames
• Minimally generated Boolean algebras
• A first order proof of a theorem of Frink
• MacNeille completions of lattice expansions
• Relational Representation Theorems for General Lattices with Negations
• Canonical extensions and relational completeness of some substructural logics
• Representations of Boolean algebras
• Bounded lattice expansions

This page was built for publication: Canonical extensions and relational representations of lattices with negation