The representation of Takeuti's -operator
From MaRDI portal
Publication:798319
DOI10.1007/BF01371629zbMATH Open0546.03035MaRDI QIDQ798319FDOQ798319
R. M. Cooke, Michiel van Lambalgen
Publication date: 1983
Published in: Studia Logica (Search for Journal in Brave)
Recommendations
Structure theory of lattices (06B05) Quantum logic (03G12) Complemented modular lattices, continuous geometries (06C20)
Cites Work
Cited In (2)
This page was built for publication: The representation of Takeuti's \(\coprod\)-operator
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q798319)