Filters
Orthosystems of submodules of a module
). We then show that any ortholattice can be represented as a Sigma for a suitable module. Next, we introduce linear (resp. pre-Hilbert) ortholattices as those ortholattices that allow for a "linear" representation sigma (r...
Pure mathematics
- 2023 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
MV- Like algebra associated to ?-ortholattices
The concept of a ?-ortholattice generalizes a lattice by substituting associativity by the so-called skew associativity. When a bounded ?-ortholattice is equipped ?-ortholattices a Sheffer operation is constructed and, more...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A generalization of effect algebras and ortholattices
A common generalization of effect algebras and ortholattices that allows to represent ortholattices in a similar way in which orthomodular lattices are represented in the setting of effect algebras is introduced....
BA - Obecná matematika
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Modifications of MV-algebras corresponding to strong ortholattices
It is well-known that prinfipal filters of MV-algebras are de Morgan algebras with involutory complementation. A modification of the notion of an MV-algebra is presented having the property that all principal filters are ortholattices....
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A common generalization of ortholattices and boolean quasirings
In (2) a common generalization of Boolean algebras and Boolean rings was introduced. In similar way we introduce a common generalization of ortholattices and Boolean quasirings....
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A note on congruence kernels in ortholattices
It is presented a necessary and sufficient condition under which a subset of an ortholattice L is a kernel of some congruence.
BA - Obecná matematika
- 2000 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Orthorings
Certain ring-like structures, so-called orthorings, are introduced which are in a natural one-to-one correspondence with lattices with 0 every principal ideal of which is an ortholattice....
BA - Obecná matematika
- 2004 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Ring-like structures derived from ?-lattices with antitone involutions
Using the concept of the ?-lattice introduced recently by V. Snášel we define ?-lattices with antitone involutions. For them we establish a correspondence to rink-like structures similarly as it was done for ortholattices and pseudorings, fo...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
The axioms for implication in orthologic
We set up axioms characterizing logical connective implication in a logic derived by an ortholattice. It is a natural generalization of an orthoimplication algebra given by J. C. Abbott for a logic derived by an orthomodular lattice....
BA - Obecná matematika
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
An implication in orthologic
We involve a certain propositional logic based on an ortholattice. We characterize the implication reduct of such a logic and show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence ker...
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 21