finding
active
finding:irreducibles-of-delta-n-and-omega-n-yield-classical-and-quantum-propositional-logics

Irreducibles of Delta^n and Omega^n yield classical and quantum propositional logics

The order dual of irreducibles recovers the Boolean lattice of nonempty subsets and the lattice of nonzero subspaces, respectively.

Source paper

extracted_from
Information, Processes and Games
Abramsky, Samson

Neighborhood — ranked by edge-count

Papers (1)

paper

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.