Add to ORKGThis note answers questions on whether three identities known to hold for orthomodular lattices are true also for ortholattices. One identity is shown to fail by MACE, a program that searches for counterexamples, an the other two are proved to hold by EQP, an equational theorem prover. The problems, from work in quantum logic, were given to us by Norman Megill
In the thesis we deal with a binary operation that acts as abstract "symmetric difference". We endow...
Abstract. The following results obtained within a project of nding algebra of states in a general pu...
summary:New approach to characterization of orthomodular lattices by means of special types of bivar...
We introduce a new identity equivalent to the orthomodular law in every ortholattice
We introduce a new identity equivalent to the orthomodular law in every ortholattice
This document contains proofs and countermodels in support of the paper ''Short Equational Bases for...
It is shown that operations of equivalence cannot serve for building algebras which would induce ort...
Summary. The main result of the article is the solution to the problem of short axiomatizations of o...
summary:We prove that a certain identity introduced by R. Halaš for classifying basic algebras can b...
summary:We prove that a certain identity introduced by R. Halaš for classifying basic algebras can b...
summary:We prove that a certain identity introduced by R. Halaš for classifying basic algebras can b...
The condition of σ-completeness related to orthomodular lattices places an important role in the stu...
The condition of σ-completeness related to orthomodular lattices places an important role in the stu...
Abstract. We present short single axioms for ortholattices, orthomodular lattices, and modular ortho...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
In the thesis we deal with a binary operation that acts as abstract "symmetric difference". We endow...
Abstract. The following results obtained within a project of nding algebra of states in a general pu...
summary:New approach to characterization of orthomodular lattices by means of special types of bivar...
We introduce a new identity equivalent to the orthomodular law in every ortholattice
We introduce a new identity equivalent to the orthomodular law in every ortholattice
This document contains proofs and countermodels in support of the paper ''Short Equational Bases for...
It is shown that operations of equivalence cannot serve for building algebras which would induce ort...
Summary. The main result of the article is the solution to the problem of short axiomatizations of o...
summary:We prove that a certain identity introduced by R. Halaš for classifying basic algebras can b...
summary:We prove that a certain identity introduced by R. Halaš for classifying basic algebras can b...
summary:We prove that a certain identity introduced by R. Halaš for classifying basic algebras can b...
The condition of σ-completeness related to orthomodular lattices places an important role in the stu...
The condition of σ-completeness related to orthomodular lattices places an important role in the stu...
Abstract. We present short single axioms for ortholattices, orthomodular lattices, and modular ortho...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
In the thesis we deal with a binary operation that acts as abstract "symmetric difference". We endow...
Abstract. The following results obtained within a project of nding algebra of states in a general pu...
summary:New approach to characterization of orthomodular lattices by means of special types of bivar...