Representations of zero-cancellative pomonoids

DOI10.2478/s12175-014-0239-1zbMath1337.06008OpenAlexW2076565589MaRDI QIDQ2877074

Jan Paseka

Publication date: 21 August 2014

Published in: Mathematica Slovaca (Search for Journal in Brave)

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

zbMATH Keywords

MV-algebrasultraproductsultrafiltersFarkas lemmaDi Nola representation theoremcountable finite embedding propertylinearly ordered pomonoidslinearly representable pomonoidszero-cancellative commutative pomonoids

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

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

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