16:00～17:00 講演 （*英語で行います） 17:00～17:30 質疑応答 (Abstract) Hilbert’s epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\varepsilon$ [1]. Two ...
Abstract: We study predicate logic that is interpreted in Kripke models similarly to intuitionistic logic except that the accessibility relation of each model is not necessarily reflexive. Unlike in ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する