Ein Assoziativitätskriterium vom Foulis-Holland-Typ.
Displaying 61 – 80 of 217
Ein Beitrag zur Theorie der Orthogonalität auf Mengen
Zdeněk Rozenský (1979)
Časopis pro pěstování matematiky
Exotic logics
Pavel Pták (1987)
Colloquium Mathematicae
Extensions dans les treillis
Guy Boulaye (1968/1969)
Séminaire Dubreil. Algèbre et théorie des nombres
Filters in partially ordered sets
Barros, Constantino M. de (1968)
Portugaliae mathematica
Fractal construction of an atomic Archimedean effect algebra with non-atomic subalgebra of sharp elements
Vladimír Olejček (2012)
Kybernetika
Does there exist an atomic Archimedean lattice effect algebra with non-atomic subalgebra of sharp elements? An affirmative answer to this question is given.
Freely adjoining a complement to a lattice
George Grätzer, Harry Lakser (2006)
Mathematica Slovaca
Functional completeness in pseudocomplemented de Morgan algebras
Klaus Denecke (1987)
Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry
-supplemented property in the lattices
Shahabaddin Ebrahimi Atani (2022)
Mathematica Bohemica
Let be a lattice with the greatest element . Following the concept of generalized small subfilter, we define -supplemented filters and investigate the basic properties and possible structures of these filters.
Generalizations of Boolean algebras. An attribute exploration
Léonard Kwuida, Christian Pech, Heiko Reppe (2006)
Mathematica Slovaca
Generalized difference posets and orthoalgebras.
Hedlíková, J., Pulmannová, S. (1996)
Acta Mathematica Universitatis Comenianae. New Series
Generalized -lattices of order ω+
T. Traczyk, W. Zarębski (1976)
Colloquium Mathematicae
Generating semigroups for complete atomistic ortholattices.
R.R. Zapatrin (1993)
Semigroup forum
Gram-Schmidt's orthogonalization based on the concept of generalized orthogonality
Jan Havrda (1981)
Časopis pro pěstování matematiky
Group-valued measures on coarse-grained quantum logics
Anna de Simone, Pavel Pták (2007)
Czechoslovak Mathematical Journal
In it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later () this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained...
“Hidden variables” on concrete logics (extensions)
Pavel Pták (1987)
Commentationes Mathematicae Universitatis Carolinae
Hilbert-space-valued states on quantum logics
Jan Hamhalter, Pavel Pták (1992)
Applications of Mathematics
Horizontal sums of basic algebras
Ivan Chajda (2009)
Discussiones Mathematicae - General Algebra and Applications
The variety of basic algebras is closed under formation of horizontal sums. We characterize when a given basic algebra is a horizontal sum of chains, MV-algebras or Boolean algebras.
Hypersubstitutions in orthomodular lattices
Ivan Chajda, Helmut Länger (2001)
Discussiones Mathematicae - General Algebra and Applications
It is shown that in the variety of orthomodular lattices every hypersubstitution respecting all absorption laws either leaves the lattice operations unchanged or interchanges join and meet. Further, in a variety of lattices with an involutory antiautomorphism a semigroup generated by three involutory hypersubstitutions is described.
Implication algebras
Ivan Chajda (2006)
Discussiones Mathematicae - General Algebra and Applications
We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence properties....