論理プログラミングとシークエント計算 集合の記法 集合 に対して は半環(単位元を持つ自明ではない冪等可換半環)となります。 を単位元を持つ自明ではない半環とし、 とします。 は と順序を除いて一意的に表すことができます。よって を と定義することが…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。