Lattice pseudoeffect algebras as double residuated structures

DOI10.1007/S00500-011-0710-7MaRDI QIDQ416294zbMATH OpenOpenAlexFDO

Authors David J. Foulis, Sylvia Pulmannová, Elena Vinceková

Publication date 10 May 2012

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1006.3223

zbMATH Keywords

conjunctionconditional double CI-posetdouble CI-posetpseudo Sasaki algebrapseudoeffect algebraresiduation

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: Pseudo-effect algebras are partial algebraic structures, that were introduced as a non-commutative generalization of effect algebras. In the present paper, lattice ordered pseudo-effect algebras are considered as possible algebraic non-commutative analogs of non-commutative non-standard reasoning. To this aim, the interplay among conjunction, implication and negation connectives is studied. It turns out that in the non-commutative reasoning, all these connectives are doubled. In particular, there are two negations and two pairs consisting of conjunction and implication, related by residuation laws. The main result of the paper is a characterization of lattice pseudo-effect algebras in terms of so-called pseudo Sasaki algebras. We also show that all pseudo-effect algebras can be characterized in terms of certain partially defined double residuated structures.

Recommendations

• Pseudo-involutive residuated lattices (non-commutative) and pseudo-effect algebras.
• Residuation in lattice effect algebras
• Effect algebras are conditionally residuated structures
• On double basic algebras and pseudo-effect algebras
• Residuated lattices and lattice effect algebras

Cites work

• scientific article; zbMATH DE number 1688754 (Why is no real title available?)
• scientific article; zbMATH DE number 2012274 (Why is no real title available?)
• scientific article; zbMATH DE number 1775504 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• Effect algebras are conditionally residuated structures
• Generalized Sasaki projections and Riesz ideals in pseudoeffect algebras
• Logical connectives on lattice effect algebras
• Non-commutative algebras and quantum structures
• On the lattice structure of quantum logic
• Pseudo MV-algebras are intervals in ℓ-groups
• Pseudo-effect algebras as total algebras
• Pseudoeffect algebras. I: Basic properties
• Pseudoeffect algebras. II: Group representations
• Residuated lattices. An algebraic glimpse at substructural logics
• Riesz ideals in generalized pseudo effect algebras and in their unitizations

Cited in

(7)

• scientific article; zbMATH DE number 7687821 (Why is no real title available?)
• A semiring-like representation of lattice pseudoeffect algebras
• scientific article; zbMATH DE number 7536560 (Why is no real title available?)
• Residuation in lattice effect algebras
• Synaptic algebras as models for quantum mechanics
• Pseudo-involutive residuated lattices (non-commutative) and pseudo-effect algebras.
• On residuation in multilattices: filters, congruences, and homomorphisms.

This page was built for publication: Lattice pseudoeffect algebras as double residuated structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q416294)