-
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...
- 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...
- 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...
- "substructural logics",
which is now in use today.
Substructural type
system Residuated lattice F.
Paoli (2002),
Substructural Logics: A Primer, Kluwer. G. Restall...
- von
Neumann algebras).
Quantales are
sometimes referred to as
complete residuated semigroups. A
quantale is a
complete lattice Q {\displaystyle Q} with...
- Metcalfe, George; Paoli, Francesco; Tsinakis,
Constantine (2023).
Residuated Structures in
Algebra and Logic.
American Mathematical Society. ISBNÂ 978-1-4704-6985-6...