Residuated Boolean algebra

In mathematics, a residuated Boolean algebra is a residuated lattice whose lattice structure is that of a Boolean algebra. Examples include Boolean…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

We describe a class calculus that is expressive enough to describe and improve its own learning process. It can design and debug…

2017

Equality algebras were introduced by S. Jenei as a possible algebraic semantic for fuzzy type theory. In this paper, we introduce…

2016

Residuated boolean algebras are introduced by Jonsson and Tsinakis [10] as generalizations of relation algebras. Jispen [12…

2014

We investigate a general many-valued rough set theory, based on tied adjointness algebras, from both constructive and axiomatic…

2011

Bounded residuated lattice ordered monoids ($$R\ell$$-monoids) are a common generalization of pseudo-$$BL$$-algebras and Heyting…

2008

Bounded residuated lattice ordered monoids (Rl-monoids) form a class of algebras which contains the class of Heyting algebras, i…

1997

We prove some theorems on representation of residuated semigroups and monoids in algebras of binary relations. One of them has…