Skip to search formSkip to main contentSkip to account menu

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 (opens in a new tab)

Related topics

Related topics

4 relations

Broader (2)

Boolean algebraFuzzy logic
De Morgan's lawsResiduated lattice

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Modal translation of substructural logics
ABSTRACT In an article dating back in 1992, Kosta Došen initiated a project of modal translations in substructural logics, aiming… 
2017
2017
Some Types of Filters in Equality Algebras
Equality algebras were introduced by S. Jenei as a possible algebraic semantic for fuzzy type theory. In this paper, we introduce… 
2016
2016
On the Complexity of the Equational Theory of Residuated Boolean Algebras
  • Zhe LinMinghui Ma
  • Workshop on Logic, Language, Information and…
  • 2016
  • Corpus ID: 46407686
Residuated boolean algebras are introduced by Jonsson and Tsinakis [10] as generalizations of relation algebras. Jispen [12… 
Highly Cited
2015
Highly Cited
2015
Residuated Lattices
The theory of residuated lattices, first proposed by Ward and Dilworth [5], is formalised in Isabelle/HOL. This includes concepts… 
2014
2014
Many-Valued Rough Sets Based on Tied Implications
  • M. El-Zekey
  • Rough Sets and Knowledge Technology
  • 2014
  • Corpus ID: 36079052
We investigate a general many-valued rough set theory, based on tied adjointness algebras, from both constructive and axiomatic… 
2011
2011
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual… 
2010
2010
Erratum to "On the reflection invariance of residuated chains" [Ann. Pure Appl. Logic 161 (2009) 220-227]
  • S. Jenei
  • Annals of Pure and Applied Logic
  • 2010
  • Corpus ID: 7301194
2008
2008
MODAL OPERATORS ON BOUNDED RESIDUATED l-MONOIDS
Bounded residuated lattice ordered monoids (Rl-monoids) form a class of algebras which contains the class of Heyting algebras, i… 
2007
2007
TL-filters of integral residuated l-monoids
1997
1997
Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models)
We prove some theorems on representation of residuated semigroups and monoids in algebras of binary relations. One of them has… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)