ハイパードクトリン
ハイパードクトリン(hyperdoctrine)
一階述語論理 = ハイパードクトリン$ ^{(1)(2)} とのこと
確認用
Q. ハイパードクトリン
参考
(2) Robert A. G. Seely, Hyperdoctrines, Natural Deduction and the Beck Condition, Zeitschr. f. math Logik und Grundlagen d. Math. 29 (1983) 505-542 (pdf) 関連
調査用
/pogi-log/Wikipedia.icon
/pogi-log/Wikipedia.icon