Skip to main content
Open Access Publications from the University of California

Three roads to complete lattices: orders, compatibility, polarity

Creative Commons 'BY-NC-ND' version 4.0 license

This note aims to clarify the relations between three ways of constructing complete lattices that appear in three different areas: (1) using ordered structures, as in set-theoretic forcing, or doubly ordered structures, as in a recent semantics for intuitionistic logic; (2) using compatibility relations, as in semantics for quantum logic based on ortholattices; (3) using Birkhoff’s polarities, as in formal concept analysis.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View