Extensions of real-valued difference posets
type: Item
instance of: scholarly article
title: Extensions of real-valued difference posets
zbMATH Open document ID: 0816.03033
DOI: 10.1007/BF00673959
author: Radko Mesiar
author: Endre Pap
published in: International Journal of Theoretical Physics
publication date: 1995-07-20T00:00:00Z
review text: A difference poset (\(D\)-poset) [see \textit{F. Kôpka} and \textit{F. Chovanec}, Math. Slovaca 44, No. 1, 21-34 (1994; Zbl 0789.03048)] is a poset \(L\) with a partial binary operation \(\ominus\) such that \(b\ominus a\) is defined iff \(a\leq b\), and the following axioms hold: (i) \(b\ominus a\leq b\); (ii) \(b\ominus (b\ominus a)= a\); if \(a\leq b\leq c\), then \(c\ominus b\leq c\ominus a\) and \((c\ominus a)\ominus (c\ominus b)= b\ominus a\). The unit interval \([0,1]\) with the usual order and the usual difference is a difference poset. \((L,\ominus)\) is a difference poset iff there is a (unique) generator \(g: [0, 1]\to [0, 1]\), \(g\) is a bijection and increasing, such that \(b\ominus a= g^{-1} (g(b)- g(a))\). The same result holds for a difference poset \((M,\ominus)\), where \(M\) is a dense subset of \([0,1]\).
reviewed by: Anatolij Dvurečenskij
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 81P10
Mathematics Subject Classification ID: 03E72
zbMATH DE Number: 729697
zbMATH Keywords: \(D\)-poset
zbMATH Keywords: MV-algebra
zbMATH Keywords: generator
zbMATH Keywords: difference poset
MaRDI profile type: Publication
cites work: Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
cites work: Q5532570
cites work: Algebraic Analysis of Many Valued Logics
cites work: Q4887173
cites work: Q3136420
cites work: Tensor Product of Difference Posets
cites work: Difference posets, effects, and quantum measurements
cites work: D-test spaces and difference posets
cites work: Decompositions of measures on orthoalgebras and difference posets
cites work: Filters and supports in orthoalgebras
cites work: Q4750696
cites work: Q5638775
cites work: Q4498067
cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
cites work: Q3958461
cites work: Counterexamples in difference posets and orthoalgebras
cites work: Q3336431
cites work: Representations of fuzzy topologies
full work available at URL: https://doi.org/10.1007/bf00673959
OpenAlex ID: W2027652653
description: scientific article; zbMATH DE number 729697