Congruence kernels of orthoimplication algebras.
Congruence lattices in varieties with compact intersection property
We say that a variety of algebras has the Compact Intersection Property (CIP), if the family of compact congruences of every is closed under intersection. We investigate the congruence lattices of algebras in locally finite, congruence-distributive CIP varieties and obtain a complete characterization for several types of such varieties. It turns out that our description only depends on subdirectly irreducible algebras in and embeddings between them. We believe that the strategy used here can...
Congruence pairs for algebras abstracting Kleene and Stone algebras
Congruence properties of distributive double -algebras
Congruence representations of join-homomorphisms of distributive lattices: a short proof
Congruence schemes and their applications
Using congruence schemes we formulate new characterizations of congruence distributive, arithmetical and majority algebras. We prove new properties of the tolerance lattice and of the lattice of compatible reflexive relations of a majority algebra and generalize earlier results of H.-J. Bandelt, G. Cz'{e}dli and the present authors. Algebras whose congruence lattices satisfy certain 0-conditions are also studied.
Congruences and homomorphisms on -algebras
The topic of the paper are -algebras, where is a complete lattice. In this research we deal with congruences and homomorphisms. An -algebra is a classical algebra which is not assumed to satisfy particular identities and it is equipped with an -valued equality instead of the ordinary one. Identities are satisfied as lattice theoretic formulas. We introduce -valued congruences, corresponding quotient -algebras and -homomorphisms and we investigate connections among these notions. We prove...
Congruences of pseudocomplemented algebras
Congruences on pseudocomplemented semilattices
It is known that congruence lattices of pseudocomplemented semilattices are pseudocomplemented [4]. Many interesting properties of congruences on pseudocomplemented semilattices were described by Sankappanavar in [4], [5], [6]. Except for other results he described congruence distributive pseudocomplemented semilattices [6] and he characterized pseudocomplemented semilattices whose congruence lattices are Stone, i.e. belong to the variety B₁ [5]. In this paper we give a partial solution to a more...
Congruences on semilattices with section antitone involutions
We deal with congruences on semilattices with section antitone involution which rise e.g., as implication reducts of Boolean algebras, MV-algebras or basic algebras and which are included among implication algebras, orthoimplication algebras etc. We characterize congruences by their kernels which coincide with semilattice filters satisfying certain natural conditions. We prove that these algebras are congruence distributive and 3-permutable.
Conjugated algebras
We generalize the correspondence between basic algebras and lattices with section antitone involutions to a more general case where no lattice properties are assumed. These algebras are called conjugated if this correspondence is one-to-one. We get conditions for the conjugary of such algebras and introduce the induced relation. Necessary and sufficient conditions are given to indicated when the induced relation is a quasiorder which has “nice properties", e.g. the unary operations are antitone...
Connections between ideals of non-commutative generalizations of -algebras and ideals of their underlying lattices
Connectivity in tl-groups
Continuity Based on Convergence and Lower Complete Distributive Lattices instead of Directed Sets
Continuous modular lattices of breadth two.
Contracting the socle in rings of continuous functions
Convergence in MV-algebras.
MV-algebras were introduced in 1958 by Chang [4] and they are models of Lukasiewicz infinite-valued logic. Chang gives a correspondence between the category of linearly ordered MV-algebras and the category of linearly ordered abelian l-groups.Mundici [10] extended this result showing a categorical equivalence between the category of the MV-algebras and the category of the abelian l-groups with strong unit.In this paper, starting from some definitions and results in abelian l-groups, we shall study...
Convergences in Perfect BL-algebras.
Convergent regular measures on MV–algebras
We obtain for measures on MV-algebras the classical theorem of Dieudonné related to convergent sequences of regular maps.
Convex chains in a pseudo MV-algebra
For a pseudo -algebra we denote by the underlying lattice of . In the present paper we investigate the algebraic properties of maximal convex chains in containing the element 0. We generalize a result of Dvurečenskij and Pulmannová.