On central atoms of Archimedean atomic lattice effect algebras

Martin Kalina

Displaying similar documents to “On central atoms of Archimedean atomic lattice effect algebras”

Sufficient conditions for a T-partial order obtained from triangular norms to be a lattice

Lifeng Li, Jianke Zhang, Chang Zhou (2019)

Kybernetika

Similarity:

For a t-norm T on a bounded lattice $(L, \leq)$ , a partial order $\leq_{T}$ was recently defined and studied. In [11], it was pointed out that the binary relation $\leq_{T}$ is a partial order on $L$ , but $(L, \leq_{T})$ may not be a lattice in general. In this paper, several sufficient conditions under which $(L, \leq_{T})$ is a lattice are given, as an answer to an open problem posed by the authors of [11]. Furthermore, some examples of t-norms on $L$ such that $(L, \leq_{T})$ is a lattice are presented.

Mac Neille completion of centers and centers of Mac Neille completions of lattice effect algebras

Martin Kalina (2010)

Kybernetika

Similarity:

If element $z$ of a lattice effect algebra $(E, \oplus, 0, 1)$ is central, then the interval $[0, z]$ is a lattice effect algebra with the new top element $z$ and with inherited partial binary operation $\oplus$ . It is a known fact that if the set $C (E)$ of central elements of $E$ is an atomic Boolean algebra and the supremum of all atoms of $C (E)$ in $E$ equals to the top element of $E$ , then $E$ is isomorphic to a subdirect product of irreducible effect algebras ([18]). This means that if there exists a MacNeille completion $\hat{E}$ of $E$ which...

Hyperreflexivity of bilattices

Kamila Kliś-Garlicka (2016)

Czechoslovak Mathematical Journal

Similarity:

The notion of a bilattice was introduced by Shulman. A bilattice is a subspace analogue for a lattice. In this work the definition of hyperreflexivity for bilattices is given and studied. We give some general results concerning this notion. To a given lattice $ℒ$ we can construct the bilattice $Σ_{ℒ}$ . Similarly, having a bilattice $Σ$ we may consider the lattice $ℒ_{Σ}$ . In this paper we study the relationship between hyperreflexivity of subspace lattices and of their associated bilattices. Some examples...

Orthogonality and complementation in the lattice of subspaces of a finite vector space

Ivan Chajda, Helmut Länger (2022)

Mathematica Bohemica

Similarity:

We investigate the lattice $𝐋 (𝐕)$ of subspaces of an $m$ -dimensional vector space $𝐕$ over a finite field $GF (q)$ with a prime power $q = p^{n}$ together with the unary operation of orthogonality. It is well-known that this lattice is modular and that the orthogonality is an antitone involution. The lattice $𝐋 (𝐕)$ satisfies the chain condition and we determine the number of covers of its elements, especially the number of its atoms. We characterize when orthogonality is a complementation and hence when $𝐋 (𝐕)$ is orthomodular....

Reducing the lengths of slim planar semimodular lattices without changing their congruence lattices

Gábor Czédli (2024)

Mathematica Bohemica

Similarity:

Following G. Grätzer and E. Knapp (2007), a slim planar semimodular lattice, SPS lattice for short, is a finite planar semimodular lattice having no $M_{3}$ as a sublattice. An SPS lattice is a slim rectangular lattice if it has exactly two doubly irreducible elements and these two elements are complements of each other. A finite poset $P$ is said to be JConSPS-representable if there is an SPS lattice $L$ such that $P$ is isomorphic to the poset $J (Con L)$ of join-irreducible congruences of $L$ . We prove that...

Some methods to obtain t-norms and t-conorms on bounded lattices

Gül Deniz Çaylı (2019)

Kybernetika

Similarity:

In this study, we introduce new methods for constructing t-norms and t-conorms on a bounded lattice $L$ based on a priori given t-norm acting on $[a, 1]$ and t-conorm acting on $[0, a]$ for an arbitrary element $a \in L ∖ {0, 1}$ . We provide an illustrative example to show that our construction methods differ from the known approaches and investigate the relationship between them. Furthermore, these methods are generalized by iteration to an ordinal sum construction for t-norms and t-conorms on a bounded lattice. ...