Ideal nil-extensions of semigroups with semimodular congruence lattices.
Ideals, congruences and annihilators on nearlattices
By a nearlattice is meant a join-semilattice having the property that every principal filter is a lattice with respect to the semilattice order. We introduce the concept of (relative) annihilator of a nearlattice and characterize some properties like distributivity, modularity or -distributivity of nearlattices by means of certain properties of annihilators.
Implication algebras
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....
Implication and equivalential reducts of basic algebras
A term operation implication is introduced in a given basic algebra and properties of the implication reduct of are treated. We characterize such implication basic algebras and get congruence properties of the variety of these algebras. A term operation equivalence is introduced later and properties of this operation are described. It is shown how this operation is related with the induced partial order of and, if this partial order is linear, the algebra can be reconstructed by means of...
Independence in a set with orthogonality
Individual ergodic theorem on a logic
Injektive Objekte in gewissen Kategorien der Verbände