Currently displaying 1 – 20 of 214

Showing per page

Order by Relevance | Title | Year of publication

Algebraic axiomatization of tense intuitionistic logic

Ivan Chajda — 2011

Open Mathematics

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

Ivan Chajda — 2010

Discussiones Mathematicae - General Algebra and Applications

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

Ivan Chajda — 2007

Discussiones Mathematicae - General Algebra and Applications

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

Ivan Chajda — 2009

Discussiones Mathematicae - General Algebra and Applications

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

Ivan Chajda — 2006

Discussiones Mathematicae - General Algebra and Applications

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

Ivan Chajda — 2005

Discussiones Mathematicae - General Algebra and Applications

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.

Modyfications of Csákány's Theorem

Ivan Chajda — 2000

Discussiones Mathematicae - General Algebra and Applications

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.

Relatively pseudocomplemented directoids

Ivan Chajda — 2009

Commentationes Mathematicae Universitatis Carolinae

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 p -ideals.

Page 1 Next

Download Results (CSV)