束論

束論(Lattice Theory)

Directed Set

HaskellだとAlgebra.Latticeで使えるっぽい。

確認用

Q. 束論

Q. 束(Lattice)

Q. 半束(Semilattice)

Q. 簡約律(吸収律)

Q. Posets

Q. CPO

参考

応用例

Preorder/Poset

Model of Concurrent Processes

Galois Connection

Formal concept analysis

Abstract interpretation

Relation between Syntax and Semantics of Logic

Galois Theory of Algebras

Semilattice- Heyting Algebra/Lattice

Structure of semigroup

intuitionistic logic

Structure of variety

Structure of smigroup

Fuzzy logic

Classical logic

Quantum logic

CPO

Semantics of programming languages