Representations of zero-cancellative pomonoids.

DOI10.2478/S12175-014-0239-1MaRDI QIDQ2877074zbMATH OpenOpenAlexFDO

Authors Jan Paseka

Publication date 21 August 2014

Published in Mathematica Slovaca (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.2478/s12175-014-0239-1

zbMATH Keywords

countable finite embedding propertyDi Nola representation theoremFarkas lemmalinearly ordered pomonoidslinearly representable pomonoidsMV-algebrasultrafiltersultraproductszero-cancellative commutative pomonoids

Mathematics Subject Classification ID

Quantum logic (03G12) Ordered semigroups and monoids (06F05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Review text

The paper presents a representation theorem of zero-cancellative pomonoids, the key result is a generalization of Di Nola's representation theorem in such field. The author investigates on the countable finite embedding property, and in particular, he shows that both linearly ordered and linearly representable zero-cancellative pomonoids have the CFEP. Furthermore in Section 4 he presents the main results, which are many variants of Di Nola's representation theorem.

Recommendations

• A representation of finite, positive, commutative tomonoids
• Epimorphisms, dominions and amalgamation in pomonoids.
• On finitely presented, cancellative and commutative ordered monoids
• scientific article; zbMATH DE number 4120222
• scientific article; zbMATH DE number 3845642

Cites work

• \(\mathcal{PT}\)-symmetry in (generalized) effect algebras
• Generalized effect algebras of positive operators densely defined on Hilbert spaces

Cited in

(2)

• Finite coverability property
• Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.

This page was built for publication: Representations of zero-cancellative pomonoids.

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