Quantum logic and linear logic
From MaRDI portal
Publication:1330093
DOI10.1007/BF00670783zbMath0811.03045MaRDI QIDQ1330093
Publication date: 15 August 1994
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00670783
03G10: Logical aspects of lattices and related structures
06B15: Representation theory of lattices
06C15: Complemented lattices, orthocomplemented lattices and posets
06F05: Ordered semigroups and monoids
03G12: Quantum logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Cites Work