Generalized [Formula: see text] Operation and the Categorical Equivalence of the Abbott Algebras and Quantum Logics
{{output}}
Considering the inference rules in generalized logics, J.C. Abbott arrives to the notion of orthoimplication algebra (see Abbott (1970) and Abbott (Stud. Logica. 2:173-177, XXXV)). We show that when one enriches the Abbott orthoimplication algebra with a falsi... ...
