Displaying 21 – 40 of 404

Showing per page

A remark on λ -regular orthomodular lattices

Vladimír Rogalewicz (1989)

Aplikace matematiky

A finite orthomodular lattice in which every maximal Boolean subalgebra (block) has the same cardinality k is called λ -regular, if each atom is a member of just λ blocks. We estimate the minimal number of blocks of λ -regular orthomodular lattices to be lower than of equal to λ 2 regardless of k .

A short note on lattices allowing disjunctive reasoning.

Enric Trillas, Eloy Renedo, Claudi Alsina (2006)

Mathware and Soft Computing

This short note shows that the scheme of disjunctive reasoning, a or b, not b : a, does not hold neither in proper ortholattices nor in proper de Morgan algebras. In both cases the scheme, once translated into the inequality b' · (a+b) ≤ a, forces the structure to be a boolean algebra.

Almost ff-universal and q-universal varieties of modular 0-lattices

V. Koubek, J. Sichler (2004)

Colloquium Mathematicae

A variety 𝕍 of algebras of a finite type is almost ff-universal if there is a finiteness-preserving faithful functor F: 𝔾 → 𝕍 from the category 𝔾 of all graphs and their compatible maps such that Fγ is nonconstant for every γ and every nonconstant homomorphism h: FG → FG' has the form h = Fγ for some γ: G → G'. A variety 𝕍 is Q-universal if its lattice of subquasivarieties has the lattice of subquasivarieties of any quasivariety of algebras of a finite type as the quotient of its sublattice....

An atomic MV-effect algebra with non-atomic center

Vladimír Olejček (2007)

Kybernetika

Does there exist an atomic lattice effect algebra with non-atomic subalgebra of sharp elements? An affirmative answer to this question (and slightly more) is given: An example of an atomic MV-effect algebra with a non-atomic Boolean subalgebra of sharp or central elements is presented.

An extension theorem for modular measures on effect algebras

Giuseppina Barbieri (2009)

Czechoslovak Mathematical Journal

We prove an extension theorem for modular measures on lattice ordered effect algebras. This is used to obtain a representation of these measures by the classical ones. With the aid of this theorem we transfer control theorems, Vitali-Hahn-Saks, Nikodým theorems and range theorems to this setting.

An orthogonality-based classification of conjectures in ortholattices.

Enric Trillas, Ana Pradera (2006)

Mathware and Soft Computing

A mathematical model for conjectures (including hypotheses, consequences and speculations), was recently introduced, in the context of ortholattices, by Trillas, Cubillo and Castiñeira (Artificial Intelligence 117, 2000, 255-257). The aim of the present paper is to further clarify the structure of this model by studying its relationships with one of the most important ortholattices' relation, the orthogonality relation. The particular case of orthomodular lattices -the framework for both Boolean...

Automorphisms of concrete logics

Mirko Navara, Josef Tkadlec (1991)

Commentationes Mathematicae Universitatis Carolinae

The main result of this paper is Theorem 3.3: Every concrete logic (i.e., every set-representable orthomodular poset) can be enlarged to a concrete logic with a given automorphism group and with a given center. Since every sublogic of a concrete logic is concrete, too, and since not every state space of a (general) quantum logic is affinely homeomorphic to the state space of a concrete logic [8], our result seems in a sense the best possible. Further, we show that every group is an automorphism...

Currently displaying 21 – 40 of 404