Currently displaying 1 – 20 of 31

Showing per page

Order by Relevance | Title | Year of publication

Minimal bounded lattices with an antitone involution the complemented elements of which do not form a sublattice

Ivan ChajdaHelmut Länger — 2008

Discussiones Mathematicae - General Algebra and Applications

Bounded lattices with an antitone involution the complemented elements of which do not form a sublattice must contain two complemented elements such that not both their join and their meet are complemented. We distinguish (up to symmetry) eight cases and in each of these cases we present such a lattice of minimal cardinality.

Residuation in orthomodular lattices

Ivan ChajdaHelmut Länger — 2017

Topological Algebra and its Applications

We show that every idempotent weakly divisible residuated lattice satisfying the double negation law can be transformed into an orthomodular lattice. The converse holds if adjointness is replaced by conditional adjointness. Moreover, we show that every positive right residuated lattice satisfying the double negation law and two further simple identities can be converted into an orthomodular lattice. In this case, also the converse statement is true and the corresponence is nearly one-to-one.

Orthorings

Ivan ChajdaHelmut Länger — 2004

Discussiones Mathematicae - General Algebra and Applications

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. This correspondence generalizes the well-known bijection between Boolean rings and Boolean algebras. It turns out that orthorings have nice congruence and ideal properties.

Hypersubstitutions in orthomodular lattices

Ivan ChajdaHelmut Länger — 2001

Discussiones Mathematicae - General Algebra and Applications

It is shown that in the variety of orthomodular lattices every hypersubstitution respecting all absorption laws either leaves the lattice operations unchanged or interchanges join and meet. Further, in a variety of lattices with an involutory antiautomorphism a semigroup generated by three involutory hypersubstitutions is described.

Congruence classes in Brouwerian semilattices

Ivan ChajdaHelmut Länger — 2001

Discussiones Mathematicae - General Algebra and Applications

Brouwerian semilattices are meet-semilattices with 1 in which every element a has a relative pseudocomplement with respect to every element b, i. e. a greatest element c with a∧c ≤ b. Properties of classes of reflexive and compatible binary relations, especially of congruences of such algebras are described and an abstract characterization of congruence classes via ideals is obtained.

Ring-like operations is pseudocomplemented semilattices

Ivan ChajdaHelmut Länger — 2000

Discussiones Mathematicae - General Algebra and Applications

Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations. Properties of these ring-like operations are derived and a characterization of Boolean pseudocomplemented semilattices in terms of these operations is given. Finally, ideals in the ring-like structures are defined and characterized.

A note on normal varieties of monounary algebras

Ivan ChajdaHelmut Länger — 2002

Czechoslovak Mathematical Journal

A variety is called normal if no laws of the form s = t are valid in it where s is a variable and t is not a variable. Let L denote the lattice of all varieties of monounary algebras ( A , f ) and let V be a non-trivial non-normal element of L . Then V is of the form M o d ( f n ( x ) = x ) with some n > 0 . It is shown that the smallest normal variety containing V is contained in H S C ( M o d ( f m n ( x ) = x ) ) for every m > 1 where C denotes the operator of forming choice algebras. Moreover, it is proved that the sublattice of L consisting of all normal elements of...

Quotients and homomorphisms of relational systems

Ivan ChajdaHelmut Länger — 2010

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Relational systems containing one binary relation are investigated. Quotient relational systems are introduced and some of their properties are characterized. Moreover, homomorphisms, strong mappings and cone preserving mappings are introduced and the interplay between these notions is considered. Finally, the connection between directed relational systems and corresponding groupoids is investigated.

Orthomodular lattices that are horizontal sums of Boolean algebras

Ivan ChajdaHelmut Länger — 2020

Commentationes Mathematicae Universitatis Carolinae

The paper deals with orthomodular lattices which are so-called horizontal sums of Boolean algebras. It is elementary that every such orthomodular lattice is simple and its blocks are just these Boolean algebras. Hence, the commutativity relation plays a key role and enables us to classify these orthomodular lattices. Moreover, this relation is closely related to the binary commutator which is a term function. Using the class of horizontal sums of Boolean algebras, we establish an identity which...

Groupoids assigned to relational systems

Ivan ChajdaHelmut Länger — 2013

Mathematica Bohemica

By a relational system we mean a couple ( A , R ) where A is a set and R is a binary relation on A , i.e. R A × A . To every directed relational system 𝒜 = ( A , R ) we assign a groupoid 𝒢 ( 𝒜 ) = ( A , · ) on the same base set where x y = y if and only if ( x , y ) R . We characterize basic properties of R by means of identities satisfied by 𝒢 ( 𝒜 ) and show how homomorphisms between those groupoids are related to certain homomorphisms of relational systems.

An ordered structure of pseudo-BCI-algebras

Ivan ChajdaHelmut Länger — 2016

Mathematica Bohemica

In Chajda's paper (2014), to an arbitrary BCI-algebra the author assigned an ordered structure with one binary operation which possesses certain antitone mappings. In the present paper, we show that a similar construction can be done also for pseudo-BCI-algebras, but the resulting structure should have two binary operations and a set of couples of antitone mappings which are in a certain sense mutually inverse. The motivation for this approach is the well-known fact that every commutative BCK-algebra...

States on basic algebras

Ivan ChajdaHelmut Länger — 2017

Mathematica Bohemica

States on commutative basic algebras were considered in the literature as generalizations of states on MV-algebras. It was a natural question if states exist also on basic algebras which are not commutative. We answer this question in the positive and give several examples of such basic algebras and their states. We prove elementary properties of states on basic algebras. Moreover, we introduce the concept of a state-morphism and characterize it among states. For basic algebras which are the certain...

Relatively pseudocomplemented posets

Ivan ChajdaHelmut Länger — 2018

Mathematica Bohemica

We extend the notion of a relatively pseudocomplemented meet-semilattice to arbitrary posets. We show some properties of the binary operation of relative pseudocomplementation and provide some corresponding characterizations. We show that relatively pseudocomplemented posets satisfying a certain simple identity in two variables are join-semilattices. Finally, we show that every relatively pseudocomplemented poset is distributive and that the converse holds for posets satisfying the ascending chain...

Page 1 Next

Download Results (CSV)