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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2002-2017
01220022017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A structural description of absorbent-continuous group-like commutative residuated lattices over complete, order-dense chains… (More)
  • figure 1
  • figure 2
  • figure 6
  • figure 4
  • figure 5
Is this relevant?
2017
2017
Hahn’s famous structure theorem states that totally ordered Abelian groups can be embedded in the lexicographic product of real… (More)
Is this relevant?
2015
2015
The theory of residuated lattices, first proposed by Ward and Dilworth [4], is formalised in Isabelle/HOL. This includes concepts… (More)
Is this relevant?
2013
2013
ΠMTL-algebras were introduced as an algebraic counterpart of the cancellative extension of monoidal t-norm based logic. It was… (More)
Is this relevant?
2011
2011
Among the class of finite integral commutative residuated chains (ICRCs), we identify those algebras which can be obtained as a… (More)
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… (More)
Is this relevant?
2010
2010
A class K of similar algebras is said to have the finite embeddability property (briefly, the FEP) if every finite subset of an… (More)
Is this relevant?
2009
2009
The problem of characterization of the structure of MTL-algebras, which form an equivalent algebraic semantics for Monoidal T… (More)
  • figure 1
Is this relevant?
2008
2008
An algebra M = (M ; ,∨,∧,→, 0, 1) of type 〈2, 2, 2, 2, 0, 0〉 is called a bounded commutative R`-monoid iff (i) (M ; , 1) is a… (More)
Is this relevant?
2002
2002
for a, b, c ∈ L. The class of all commutative residuated lattices, denoted by CRL, is a finitely based variety of algebras… (More)
Is this relevant?