The aim of the paper was to link up the structures used in foundations of quantum logic and that arising in many-valued reasoning. It is shown that effect algebras and pseudoeffect algebras can be described as conditionally residuated structures.
机构:
Adam Mickiewicz Univ, Fac Math & Comp Sci, Ul Umultowska 87, PL-61614 Poznan, PolandAdam Mickiewicz Univ, Fac Math & Comp Sci, Ul Umultowska 87, PL-61614 Poznan, Poland
机构:
Univ Buenos Aires, Fac Ciencias Exactas & Nat, Dept Matemat, RA-1428 Buenos Aires, DF, ArgentinaUniv Buenos Aires, Fac Ciencias Exactas & Nat, Dept Matemat, RA-1428 Buenos Aires, DF, Argentina