Results 131 to 140 of about 1,603 (177)

Isomorph-Free Exhaustive Generation of Greechie Diagrams and Automated Checking of Their Passage by Orthomodular Lattice Equations [PDF]

, 2000
Brendan D. McKay, Norman D. Megill, Mladen Paviÿcic   +2 more
openalex  

Sheaves of Orthomodular Lattices and MacNeille Completions

, 1991
John Harding
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Lattice-valued General Orthomodular Automata

International Journal of Theoretical Physics, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abolpour, Kh., Zahedi, M. M., Shamsizadeh, M.   +2 more
openaire   +2 more sources

Projective Orthomodular Lattices

Canadian Mathematical Bulletin, 1994
AbstractWe introduce sectional projectivity, which appears to be the correct notion of projectivity when working with orthomodularlattices. We prove some positive results for varieties of OMLs satisfying various finiteness conditions, namely that every finite OML in such a variety is sectionally projective.
Bruns, Gunter, Roddy, Michael
openaire   +2 more sources

Projective orthomodular lattices II

Algebra Universalis, 1997
The authors continue the study of projectivity in orthomodular lattices started in Part I [Can. Math. Bull. 37, No. 2, 145-153 (1994; Zbl 0819.06007)]. The main results: Theorem 1.1. No uncountable Boolean algebra is projective in the variety of all orthomodular lattices. Corollary 1.3. Every Boolean subalgebra of a free orthomodular lattice is at most
Bruns, G., Roddy, M. S.
openaire   +1 more source

Decidability in Orthomodular Lattices

International Journal of Theoretical Physics, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hyčko, Marek, Navara, Mirko
openaire   +2 more sources

Orthomodular lattices as L-algebras

Soft Computing, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wu, Yali, Yang, Yichuan
openaire   +2 more sources

Block-Finite Orthomodular Lattices

Canadian Journal of Mathematics, 1979
Introduction. Every orthomodular lattice (abbreviated : OML) is the union of its maximal Boolean subalgebras (blocks). The question thus arises how conversely Boolean algebras can be amalgamated in order to obtain an OML of which the given Boolean algebras are the blocks.
openaire   +2 more sources

n-Orthodistributivity in Orthomodular Lattices

International Journal of Theoretical Physics, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Moes, Justin, Roddy, Micheale S.
openaire   +1 more source

Conditional probabilities on orthomodular lattices

Reports on Mathematical Physics, 1984
A definition of generalized probability on an orthomodular lattice which includes as particular cases the classical probability space and non- commutative probability theory on a von Neumann algebra is proposed. In this generalized structure the problem of conditioning with respect to Boolean \(\sigma\)-subalgebras is examined.
CASSINELLI, GIOVANNI, P. Truini:
openaire   +2 more sources