Post's lattice
lattice of all clones (sets of logical connectives closed under composition and containing all projections) on a two-element set {0, 1}, ordered by inclusion
Press Enter · cited answer in seconds
0 sources
Post's lattice
Summary
Post's lattice is a theorem[1].
Key Facts
- Post's lattice's instance of is recorded as theorem[2].
- Post's lattice's instance of is recorded as lattice[3].
- Post's lattice's instance of is recorded as mathematical concept[4].
- Emil Leon Post is named after Post's lattice[5].
- Post's lattice's computes solution to is recorded as Q65007458[6].
- Post's lattice's uses is recorded as Q13424672[7].
- Post's lattice's studied by is recorded as Boolean algebra[8].
- Post's lattice's maintained by WikiProject is recorded as WikiProject Mathematics[9].
Body
Definition and Type
Recorded instance of include theorem[2], lattice[3], and mathematical concept[4].
Origins
Emil Leon Post is named after Post's lattice[5].