English Dictionary

The seminar examined how an Ockham algebra can model certain non-classical logics through its dual endomorphism.

ゼミでは、双対自己準同型（双対とはド・モルガンの法則を満たすことを意味する）を備えた有界分配格子が、ある種の非古典論理をどのようにモデル化できるかを検討した。