Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
In an article dating back in 1992, Kosta Do\v{s}en initiated a project of modal translations in substructural logics, aiming at… Expand
  • figure 1
  • figure 2
  • table 4
  • table 5
Is this relevant?
2017
2017
Equality algebras were introduced by S. Jenei as a possible algebraic semantic for fuzzy type theory. In this paper, we introduce… Expand
Is this relevant?
2016
2016
Residuated boolean algebras are introduced by Jonsson and Tsinakis [10] as generalizations of relation algebras. Jispen [12… Expand
Is this relevant?
Highly Cited
2015
Highly Cited
2015
The theory of residuated lattices, first proposed by Ward and Dilworth [4], is formalised in Isabelle/HOL. This includes concepts… Expand
Is this relevant?
2014
2014
We investigate a general many-valued rough set theory, based on tied adjointness algebras, from both constructive and axiomatic… Expand
Is this relevant?
2011
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual… Expand
Is this relevant?
2010
2010
In Section 2 replace the definition of ∗◦Q in Definition 1 by x∗◦Q y = inf{u ∗◦ v | u > x, v > y}. It is defined only if the… Expand
Is this relevant?
2008
2008
Bounded residuated lattice ordered monoids (Rl-monoids) form a class of algebras which contains the class of Heyting algebras, i… Expand
Is this relevant?
2007
2007
In this paper, we introduce and discuss the concept of TL-filters of integral residuated l-monoids. First we study some basic… Expand
Is this relevant?
1997
1997
We prove some theorems on representation of residuated semigroups and monoids in algebras of binary relations. One of them has… Expand
Is this relevant?