computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ を集合(本来は「シークエント」全体の集合)、 で自由生成された代数系(本来は分配束)全体の集合を とおきます(Wikipediaによると代数的構造を持つ集合は代数系と呼びます)。 は本来は分配束なのですが、可換冪等半環、可換半環、可換環の場合も考えていきます。 の冪集合を とおきます。「シークエント」の記号で書かれた有限個のホーン節からなる集合のことを指す言葉をまだ決めていなかったのでここで決めたいと思います。これは論理プログラミングの推論規則に相当するものなので「論理プログラミング推論規則」と呼ぶことにします。「論理プログラミング推論規則」全体の集合(に相当する一般の代数系のもの)を とおき… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F02%2F12%2F222523" title="論理計算と随伴関手(9) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20%5Cmathbf%7BCRing%7D Hatena Blog https://hatena.blog 2020-02-12 22:25:23 rich https://computeralgebra.hatenablog.com/entry/2020/02/12/222523 1.0 100%