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 ...
“The epsilon calculus with equality predicate and Herbrand complexity” (September 10) Hilbert’s epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する