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

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

2017

2017

- Sándor Jenei
- 2017 IEEE International Conference on Fuzzy…
- 2017

A structural description of absorbent-continuous group-like commutative residuated lattices over complete, order-dense chains… (More)

Is this relevant?

2017

2017

- Sándor Jenei
- 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

- Victor B. F. Gomes, Georg Struth
- Archive of Formal Proofs
- 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

- RESIDUATED LATTICES, On, Rostislav Horcík
- 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

- Rostislav Horcík
- J. Log. Comput.
- 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

- Sándor Jenei
- Ann. Pure Appl. Logic
- 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

- James P. Raftery
- 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

- Rostislav Horcík, Franco Montagna
- Math. Log. Q.
- 2009

The problem of characterization of the structure of MTL-algebras, which form an equivalent algebraic semantics for Monoidal T… (More)

Is this relevant?

2008

2008

- Jirí Rachunek, Filip Svrcek
- Order
- 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

- James B. Hart, Lori Rafter, Constantine Tsinakis
- IJAC
- 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?