Quantum and classical implication algebras with primitive implications
scientific article; zbMATH DE number 1337673