共起表現 |
「residuated」の共起表現一覧(1語右で並び替え)
該当件数 : 12件
For example, every ordered group is | residuated, and the division defined by the above coinc |
In mathematics, a | residuated Boolean algebra is a residuated lattice whos |
on of a relation algebra can be defined as a | residuated Boolean algebra having an operation x satisf |
include Boolean algebras, Heyting algebras, | residuated Boolean algebras, relation algebras, and MV- |
ple, but there exist interesting examples of | residuated Boolean algebras that are not relation algeb |
A | residuated function and its residual form a Galois conn |
It can be shown that f is | residuated if and only if there exists a unique monoton |
l languages over an alphabet (set) Σ forms a | residuated lattice whose monoid multiplication is langu |
In abstract algebra, a | residuated lattice is an algebraic structure that is si |
omials, abstract algebra, lattice theory and | residuated lattices, functional equations and functiona |
he notions of monotone Galois connection and | residuated mapping essentially coincide. |
Residuated semilattices omit the meet operation ∧, for | |
共起表現 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|