The seminar examined how an Ockham algebra can model certain non-classical logics through its dual endomorphism.
ゼミでは、双対自己準同型（双対とはド・モルガンの法則を満たすことを意味する）を備えた有界分配格子が、ある種の非古典論理をどのようにモデル化できるかを検討した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
