The seminar will examine how a De Morgan algebra models negation in certain non-classical logics.
そのセミナーでは、ド・モルガンの法則を満たす反転写像（通常は ¬ または ～ と表され）を備えた有界分配格子が、特定の非古典論理における否定をどのようにモデル化するかを検討する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
