Lattice pseudoeffect algebras as double residuated structures

DOI10.1007/S00500-011-0710-7zbMATH Open1239.03042arXiv1006.3223OpenAlexW2164780241MaRDI QIDQ416294FDOQ416294

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

Publication date: 10 May 2012

Published in: Soft Computing (Search for Journal in Brave)

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.

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

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

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)

Cites Work

• Non-commutative algebras and quantum structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pseudo MV-algebras are intervals in ℓ-groups
• Title not available (Why is that?)
• 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
• Pseudo-effect algebras as total algebras
• Generalized Sasaki projections and Riesz ideals in pseudoeffect algebras
• Logical connectives on lattice effect algebras
• Effect algebras are conditionally residuated structures
• Title not available (Why is that?)
• On the lattice structure of quantum logic

Cited In (7)

• Title not available (Why is that?)
• A semiring-like representation of lattice pseudoeffect algebras
• Title not available (Why is that?)
• 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)