LEMdomain
LEMdomain is a concept in theoretical computer science and mathematical logic that denotes a class of informational domains whose internal logic validates the Law of Excluded Middle (LEM). The term combines 'LEM' for the law with 'domain', indicating a semantic space in which statements possess a definitive true or false value. In practice, LEMdomains are modeled as Boolean-algebra-like structures or as special lattice domains equipped with a classical truth valuation.
Definition and properties: A LEMdomain is typically a complemented distributive lattice or Boolean algebra with a
Examples and relation: The two-element Boolean algebra {true, false} is the canonical LEMdomain. The power set
Applications: Used in formal semantics of programming languages that assume classical logic, in automated theorem proving,