Crossmark

An implicational logic for orthomodular lattices

Crossref DOI link: https://doi.org/10.14232/actasm-015-813-6

Published Online: 2016-12-01

Published Print: 2016-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Chajda, Ivan

Cirulis, Jānis
License Information

Text and Data Mining valid from 2016-12-01

Version of Record valid from 2016-12-01
More Information

Article History

Received: 16 August 2015

Accepted: 16 January 2016

First Online: 1 December 2016