代数的論理学
↓これの続き cut-elimination.hatenablog.com を順序集合とする。 の要素 を任意にとったとき、集合 の上限 と下限 が存在する場合、 は束(そく)であるという。 を 、 を と書くことが多い。 と を持つことを明示するために束 を と書くこともある。 前に出…
↓これの続き cut-elimination.hatenablog.com を順序集合とする。部分集合 をとる。 がすべての について のとき、 は の上界であるという。例えば順序集合 について の部分集合 をとると、 なんかはその上界である。 順序集合 と について、 を の上界をす…
当ブログは論理学とアニメを両輪とするはずが、気付けばアニメばかりになっている! アイデンティティの危機である。何故アニメばかりになったのかというと書きやすいからである。論理学記事は数式を打つのが面倒臭い。また私の専門(?)分野である証明論は証…