EuDML | Browse

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Displaying 41 – 60 of 98

Join-semilattices whose sections are residuated po-monoids

Ivan Chajda, Jan Kühr (2008)

Czechoslovak Mathematical Journal

We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section...

Local bounded commutative residuated $ℓ$ -monoids

Jiří Rachůnek, Dana Šalounová (2007)

Czechoslovak Mathematical Journal

Bounded commutative residuated lattice ordered monoids ( $R ℓ$ -monoids) are a common generalization of, e.g., $B L$ -algebras and Heyting algebras. In the paper, the properties of local and perfect bounded commutative $R ℓ$ -monoids are investigated.

Minimal axiomatic system of fuzzy logical algebra

Zuwei Liao (1992)

Kybernetika

Monadic involutive pseudo-BCK algebras.

Iorgulescu, Afrodita (2008)

Acta Universitatis Apulensis. Mathematics - Informatics

MV-algebras are categorically equivalent to a class of $𝒟ℛ l_{1 (i)}$ -semigroups

Jiří Rachůnek (1998)

Mathematica Bohemica

In the paper it is proved that the category of -algebras is equivalent to the category of bounded -semigroups satisfying the identity $1 - (1 - x) = x$ . Consequently, by a result of D. Mundici, both categories are equivalent to the category of bounded commutative -algebras.

On a period of elements of pseudo-BCI-algebras

Grzegorz Dymek (2015)

Discussiones Mathematicae - General Algebra and Applications

The notions of a period of an element of a pseudo-BCI-algebra and a periodic pseudo-BCI-algebra are defined. Some of their properties and characterizations are given.

On a periodic part of pseudo-BCI-algebras

Grzegorz Dymek (2015)

Discussiones Mathematicae - General Algebra and Applications

In the paper the connections between the set of some maximal elements of a pseudo-BCI-algebra and deductive systems are established. Using these facts, a periodic part of a pseudo-BCI-algebra is studied.

On annihilators of BCK-algebras

H. A. S. Abujabal, M. A. Obaid, M. Aslam, Allah-Bakhsh Thaheem (1995)

Czechoslovak Mathematical Journal

On axiom systems of pseudo-BCK algebras.

Walendziak, Andrzej (2011)

Bulletin of the Malaysian Mathematical Sciences Society. Second Series

On B-algebras

J. Neggers, Hee Sik Kim (2002)

Matematički Vesnik

On BE-semigroups.

Ahn, Sun Shin, Kim, Young Hee (2011)

International Journal of Mathematics and Mathematical Sciences

On BF-algebras

Andrzej Walendziak (2007)

Mathematica Slovaca

On branchwise implicative BCI-algebras.

Chaudhry, Muhammad Anwar (2002)

International Journal of Mathematics and Mathematical Sciences

On $d$ -algebras

Joseph Neggers, Hee Sik Kim (1999)

Mathematica Slovaca

On $d$ -ideals in $d$ -algebras

Joseph Neggers, Young Bae Jun, Hee Sik Kim (1999)

Mathematica Slovaca

On $d^{}$ -subalgebras of $d$ -transitive $d^{}$ -algebras

Young Chan Lee, Hee Sik Kim (1999)

Mathematica Slovaca

On $f$ -derivations of BCI-algebras.

Zhan, Jianming, Liu, Yong Lin (2005)

International Journal of Mathematics and Mathematical Sciences

On fuzzy $B$ -algebras

Young Bae Jun, Eun Hwan Roh, Hee Sik Kim (2002)

Czechoslovak Mathematical Journal

The fuzzification of (normal) $B$ -subalgebras is considered, and some related properties are investigated. A characterization of a fuzzy $B$ -algebra is given.

On fuzzy dot subalgebras of BCH-algebras.

Hong, Sung Min, Jun, Young Bae, Kim, Seon Jeong, Kim, Gwang Il (2001)

International Journal of Mathematics and Mathematical Sciences

On fuzzy topological $d$ -algebras

Young Bae Jun, Hee Sik Kim (2001)

Mathematica Slovaca

Currently displaying 41 – 60 of 98

Previous Page 3 Next