Skip to search formSkip to main contentSkip to account menu
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… 
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… 
  • figure 1
  • figure 2
  • table 4
  • table 5
2017
2017
Equality algebras were introduced by S. Jenei as a possible algebraic semantic for fuzzy type theory. In this paper, we introduce… 
2016
2016
Residuated boolean algebras are introduced by Jonsson and Tsinakis [10] as generalizations of relation algebras. Jispen [12… 
Highly Cited
2015
Highly Cited
2015
The theory of residuated lattices, first proposed by Ward and Dilworth [5], is formalised in Isabelle/HOL. This includes concepts… 
2014
2014
We investigate a general many-valued rough set theory, based on tied adjointness algebras, from both constructive and axiomatic… 
2011
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual… 
2010
2010
  • S. Jenei
  • Ann. Pure Appl. Log.
  • 2010
  • Corpus ID: 7301194
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… 
2008
2008
Bounded residuated lattice ordered monoids (Rl-monoids) form a class of algebras which contains the class of Heyting algebras, i… 
2007
2007
In this paper, we introduce and discuss the concept of TL-filters of integral residuated l-monoids. First we study some basic… 
1997
1997
We prove some theorems on representation of residuated semigroups and monoids in algebras of binary relations. One of them has…