The representation of Takeuti's \(\coprod\)-operator
From MaRDI portal
Publication:798319
DOI10.1007/BF01371629zbMath0546.03035MaRDI QIDQ798319
Roger M. Cooke, Michiel Marian Michiel van Lambalgen
Publication date: 1983
Published in: Studia Logica (Search for Journal in Brave)
Structure theory of lattices (06B05) Quantum logic (03G12) Complemented modular lattices, continuous geometries (06C20)
Related Items
Bibliography on quantum logics and related structures, Commutators and decompositions of orthomodular lattices
Cites Work