Currently displaying 1 – 20 of 32

Showing per page

Order by Relevance | Title | Year of publication

On M-operators of q-lattices

Radomír Halaš — 2002

Discussiones Mathematicae - General Algebra and Applications

It is well known that every complete lattice can be considered as a complete lattice of closed sets with respect to appropriate closure operator. The theory of q-lattices as a natural generalization of lattices gives rise to a question whether a similar statement is true in the case of q-lattices. In the paper the so-called M-operators are introduced and it is shown that complete q-lattices are q-lattices of closed sets with respect to M-operators.

Relative polars in ordered sets

Radomír Halaš — 2000

Czechoslovak Mathematical Journal

In the paper, the notion of relative polarity in ordered sets is introduced and the lattices of R -polars are studied. Connections between R -polars and prime ideals, especially in distributive sets, are found.

Annihilators in BCK-algebras

Radomír Halaš — 2003

Czechoslovak Mathematical Journal

We introduce the concepts of an annihilator and a relative annihilator of a given subset of a BCK-algebra 𝒜 . We prove that annihilators of deductive systems of BCK-algebras are again deductive systems and moreover pseudocomplements in the lattice 𝒟 ( A ) of all deductive systems on 𝒜 . Moreover, relative annihilators of C 𝒟 ( A ) with respect to B 𝒟 ( A ) are introduced and serve as relative pseudocomplements of C w.r.t. B in 𝒟 ( A ) .

Pseudocomplemented ordered sets

Radomír Halaš — 1993

Archivum Mathematicum

The aim of this paper is to transfer the concept of pseudocomplement from lattices to ordered sets and to prove some basic results holding for pseudocomplemented ordered sets.

Distributive implication groupoids

Ivan ChajdaRadomir Halaš — 2007

Open Mathematics

We introduce a concept of implication groupoid which is an essential generalization of the implication reduct of intuitionistic logic, i.e. a Hilbert algebra. We prove several connections among ideals, deductive systems and congruence kernels which even coincide whenever our implication groupoid is distributive.

Congruence submodularity

Ivan ChajdaRadomír Halaš — 2002

Discussiones Mathematicae - General Algebra and Applications

We present a countable infinite chain of conditions which are essentially weaker then congruence modularity (with exception of first two). For varieties of algebras, the third of these conditions, the so called 4-submodularity, is equivalent to congruence modularity. This is not true for single algebras in general. These conditions are characterized by Maltsev type conditions.

A characterization of 1-, 2-, 3-, 4-homomorphisms of ordered sets

Radomír HalašDaniel Hort — 2003

Czechoslovak Mathematical Journal

We characterize totally ordered sets within the class of all ordered sets containing at least four-element chains. We use a simple relationship between their isotone transformations and the so called 1-endomorphism which is introduced in the paper. Later we describe 1-, 2-, 3-, 4-homomorphisms of ordered sets in the language of super strong mappings.

Page 1 Next

Download Results (CSV)