Acta InformaticaBirkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequenceShengyang ZhongPublished Dec 12, 2024• 1 citationPublisherDOI10.1007/s00236-024-00472-w