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 ...

A frame can be considered just a convenient way to represent a set of predicates applied to constant symbols (e.g. ground instances of predicates.). For example, the frame above could be written: ...

“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 ...