-
Boolean algebras,
Heyting algebras,
residuated Boolean algebras,
relation algebras, and MV-algebras.
Residuated semilattices omit the meet operation...
- (One
speaks only of
residuated algebra for
higher arities). A
binary (or
higher arity)
residuated map is
usually not
residuated as a
unary map. If A...
- In mathematics, a
residuated Boolean algebra is a
residuated lattice whose lattice structure is that of a
Boolean algebra.
Examples include Boolean algebras...
-
residual property The
residual function attached to a
residuated mapping Residual in a
residuated lattice,
loosely analogous to
division Residue (complex...
- In
mathematics and
abstract algebra, a
relation algebra is a
residuated Boolean algebra expanded with an
involution called converse, a
unary operation...
- von
Neumann algebras).
Quantales are
sometimes referred to as
complete residuated semigroups. A
quantale is a
complete lattice Q {\displaystyle Q} with...
- "substructural logics",
which is now in use today.
Substructural type
system Residuated lattice F.
Paoli (2002),
Substructural Logics: A Primer, Kluwer. G. Restall...
-
algebraic logic, an
action algebra is an
algebraic structure which is both a
residuated semilattice and a
Kleene algebra. It adds the star or
reflexive transitive...
-
bounded lattice is a lattice. (def) 13. A
heyting algebra is
residuated. 14. A
residuated lattice is a lattice. (def) 15. A
distributive lattice is modular...
- It
belongs to the
broader class of
substructural logics, or
logics of
residuated lattices; it
extends the
logic MTL of all left-continuous t-norms. The...
