PBZ∗–lattices are lattices with additional operations that arise in the context of the unsharp approach to quantum logic. They include orthomodular lattices and Kleene algebras with an extra unary operation. We study in the framework of PBZ∗ –lattices two constructions — the ordinal sum construction and the horizontal sum construction — that have been widely used in the investigation of both quantum structures and residuated structures. We provide axiomatisations of the varieties generated by certain sums of PBZ∗ –lattices, in particular of the variety generated by all horizontal sums of an orthomodular lattice and an antiortholattice
We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of e¤...
The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras t...
The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras t...
PBZ∗–lattices are lattices with additional operations that arise in the context of the unsharp appro...
We investigate the structure theory of the variety of PBZ∗-lattices and some of its proper subvariet...
We investigate the structure theory of the variety of PBZ∗-lattices and some of its proper subvariet...
summary:The paper deals with orthomodular lattices which are so-called horizontal sums of Boolean al...
summary:The paper deals with orthomodular lattices which are so-called horizontal sums of Boolean al...
PBZ*-lattices are bounded lattice-ordered structures endowed with two complements, called Kleene and...
summary:In this paper, the ordinal sum construction methods of implications on bounded lattices are ...
summary:In this paper, the ordinal sum construction methods of implications on bounded lattices are ...
summary:In this paper, the ordinal sum construction methods of implications on bounded lattices are ...
We introduce residuated ortholattices as a generalization of—and environment for the investigation o...
We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of e¤...
In the thesis we deal with a binary operation that acts as abstract "symmetric difference". We endow...
We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of e¤...
The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras t...
The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras t...
PBZ∗–lattices are lattices with additional operations that arise in the context of the unsharp appro...
We investigate the structure theory of the variety of PBZ∗-lattices and some of its proper subvariet...
We investigate the structure theory of the variety of PBZ∗-lattices and some of its proper subvariet...
summary:The paper deals with orthomodular lattices which are so-called horizontal sums of Boolean al...
summary:The paper deals with orthomodular lattices which are so-called horizontal sums of Boolean al...
PBZ*-lattices are bounded lattice-ordered structures endowed with two complements, called Kleene and...
summary:In this paper, the ordinal sum construction methods of implications on bounded lattices are ...
summary:In this paper, the ordinal sum construction methods of implications on bounded lattices are ...
summary:In this paper, the ordinal sum construction methods of implications on bounded lattices are ...
We introduce residuated ortholattices as a generalization of—and environment for the investigation o...
We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of e¤...
In the thesis we deal with a binary operation that acts as abstract "symmetric difference". We endow...
We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of e¤...
The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras t...
The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras t...