Weak congruence identities at 0.
Algebraic axiomatization of tense intuitionistic logic
We introduce two unary operators G and H on a relatively pseudocomplemented lattice which form an algebraic axiomatization of the tense quantifiers “it is always going to be the case that” and “it has always been the case that”. Their axiomatization is an extended version for the classical logic and it is in accordance with these operators on many-valued Łukasiewicz logic. Finally, we get a general construction of these tense operators on complete relatively pseudocomplemented lattice which is a...
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.
Commutative directoids with sectional involutions
The concept of a commutative directoid was introduced by J. Ježek and R. Quackenbush in 1990. We complete this algebra with involutions in its sections and show that it can be converted into a certain implication algebra. Asking several additional conditions, we show whether this directoid is sectionally complemented or whether the section is an NMV-algebra.
Horizontal sums of basic algebras
The variety of basic algebras is closed under formation of horizontal sums. We characterize when a given basic algebra is a horizontal sum of chains, MV-algebras or Boolean algebras.
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....
Note on algebraic interior systems
We get an interrelation between an algebraic closure system and its conjugated interior system. We introduce the concept of algebraic interior system and we get its representation.
Distributivity of bounded lattices with sectionally antitone involutions
We present a simple condition under which a bounded lattice L with sectionally antitone involutions becomes an MV-algebra. In thiscase, L is distributive. However, we get a criterion characterizingdistributivity of L in terms of antitone involutions only.
A groupoid characterization of Boolean algebras
We present a groupoid which can be converted into a Boolean algebra with respect to term operations. Also conversely, every Boolean algebra can be reached in this way.
Modyfications of Csákány's Theorem
Varieties whose algebras have no idempotent element were characterized by B. Csákány by the property that no proper subalgebra of an algebra of such a variety is a congruence class. We simplify this result for permutable varieties and we give a local version of the theorem for varieties with nullary operations.
Semiregularity of congruences implies congruence modularity at 0
We introduce a weakened form of regularity, the so called semiregularity, and we show that if every diagonal subalgebra of is semiregular then is congruence modular at 0.
Pseudosemirings induced by ortholattices
Semilattices of finite arithmetical algebras
A characterization of arithmetical varieties by two-element subsets
Characterizations of Hamiltonian algebras
Relatively pseudocomplemented directoids
The concept of relative pseudocomplement is introduced in a commutative directoid. It is shown that the operation of relative pseudocomplementation can be characterized by identities and hence the class of these algebras forms a variety. This variety is congruence weakly regular and congruence distributive. A description of congruences via their kernels is presented and the kernels are characterized as the so-called -ideals.
Polynomially determined tolerances
Decompositions of homomorphisms
Weakly regular algebras in varieties with principal compact congruences
Two constructions of compatible relations
Page 1 Next