D-lattices
type: Item
instance of: scholarly article
title: D-lattices
zbMATH Open document ID: 0840.03046
DOI: 10.1007/BF00676241
author: Ferdinand Chovanec
author: František Kôpka
published in: International Journal of Theoretical Physics
publication date: 1996-07-01T00:00:00Z
review text: A \(D\)-poset [\textit{F. Chovanec} and \textit{F. Kôpka}, Math. Slovaca 44, 21-34 (1994; Zbl 0789.03048)] is a bounded poset \(P\) with a partial binary operation \(\backslash\) such that \(b \backslash a\) is defined iff \(a \leq b\), and for \(a,b,c \in P\), we have (i) if \(a \leq b\), then \(b \backslash a \leq b\) and \(b \backslash (b \backslash a) = a\); (ii) if \(a \leq b \leq c\), then \(c \backslash b \leq c \backslash a\) and \((c \backslash a) \backslash (c \backslash b) = b \backslash a\). If \(P\) is a lattice, then \(P\) is said to be a \(D\)-lattice. Then we can extend the partial operation \(\backslash\) to a (total) binary operation \(\oslash\) via \(b \oslash a = b \backslash (a \wedge b)\). The main result of the paper under review says that a \(D\)-lattice \(P\) can be organized into an MV-algebra iff, for all \(u,v,w \in P\), we have \((w \oslash u) \oslash v = (w \oslash v) \oslash u\).
reviewed by: Anatolij Dvurečenskij
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 06B99
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 06D30
zbMATH DE Number: 844056
zbMATH Keywords: difference poset
zbMATH Keywords: \(D\)-lattice
zbMATH Keywords: MV-algebra
MaRDI profile type: Publication
cites work: Algebraic Analysis of Many Valued Logics
cites work: Q4300150
cites work: Difference posets, effects, and quantum measurements
cites work: Filters and supports in orthoalgebras
cites work: Q4291523
cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
cites work: Orthomodular structures as quantum logics. Transl. from the Slovak
cites work: Counterexamples in difference posets and orthoalgebras
cites work: Q5735229
full work available at URL: https://doi.org/10.1007/bf00676241
OpenAlex ID: W4234995804
description: scientific article; zbMATH DE number 844056