m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 インスティチューション セオリー論 演繹付きインスティチューション〈institution with deduction〉を定義する。普通のインスティチューションに、指標Σごとの演繹性判断〈deducibility judgement〉|-Σが付いている。 |-Σは、Pow(Sen[Σ])とSen[Σ]のあいだの（二項）関係 演繹性判断は、次の公理を満たす。 {a} |- a 反射性 A |- a, A⊆B ならば B |- a 単調性 Ai |- ai ならば、∪({ai}|i∈I) |- b ならば、∪(Ai|i∈I) |- b 推移性 A⊆Sen[Σ]に対して、モデルMod[Σ]の部分圏 (Mod[Σ] s.t. A) を… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20171127%2F1511759092" title="演繹付きインスティチューション - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-11-27 14:04:52 rich https://m-hiyama-memo.hatenablog.jp/entry/20171127/1511759092 1.0 100%