-
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...
- "substructural logics",
which is now in use today.
Substructural type
system Residuated lattice F.
Paoli (2002),
Substructural Logics: A Primer, Kluwer. G. Restall...
-
residual property The
residual function attached to a
residuated mapping Residual in a
residuated lattice,
loosely analogous to
division Residue (complex...
- In mathematics, a
residuated Boolean algebra is a
residuated lattice whose lattice structure is that of a
Boolean algebra.
Examples include Boolean algebras...
- von
Neumann algebras).
Quantales are
sometimes referred to as
complete residuated semigroups. A
quantale is a
complete lattice Q {\displaystyle Q} with...
- In
mathematics and
abstract algebra, a
relation algebra is a
residuated Boolean algebra expanded with an
involution called converse, a
unary operation...
-
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...
- Stone. Similarly, the Dedekind–MacNeille
completion of a
residuated lattice is a
complete residuated lattice. However, the
completion of a
distributive lattice...
-
adjoint if and only if f is a
residuated mapping (respectively
residual mapping). Therefore, the
notion of
residuated mapping and
monotone Galois connection...