を集合(本来は「シークエント」全体の集合)、 で自由生成された代数系(本来は分配束)全体の集合を とおきます(Wikipediaによると代数的構造を持つ集合は代数系と呼びます)。 は本来は分配束なのですが、可換冪等半環、可換半環、可換環の場合も考えていきま…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。