A tree-sequent calculus for a natural predicate extension of visser's propositional logic

Ryo Ishigaki, Kentaro Kikuchi

研究成果: Article査読

2 被引用数 (Scopus)

抄録

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 Ruitenburg's Basic Predicate Calculus, which is previous work on logic of this kind, the notion of formula in our system is the standard one in predicate logic. We give an axiomatization for this logic in the style of tree-sequent calculus (a special form of labelled sequent calculus) and prove its completeness with respect to the class of Kripke models.

本文言語English
ページ(範囲)149-164
ページ数16
ジャーナルLogic Journal of the IGPL
15
2
DOI
出版ステータスPublished - 2007 3

ASJC Scopus subject areas

  • 哲学

フィンガープリント

「A tree-sequent calculus for a natural predicate extension of visser's propositional logic」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル