今朝、メールが届き、9月にプラハで開かれる国際会議 "Logic Algebra and Truth Degrees 2010" にアクセプトされたとの通知を受けました。 これは、Lukasiewicz無限値述語論理 ∀Ł 上、包括原理を持つ集合論 H について、モデルを強制法で構成する方法につい…