Dual-context sequent calculus and strict implication

研究成果: Article査読

1 被引用数 (Scopus)

抄録

We introduce a dual-context style sequent calculus which is complete with respect to Kripke semantics where implication is interpreted as strict implication in the modal lic K. The cut-elimination theorem for this calculus is proved by a variant of Gentzen's method.

本文言語English
ページ(範囲)87-92
ページ数6
ジャーナルMathematical Logic Quarterly
48
1
DOI
出版ステータスPublished - 2002 8 21
外部発表はい

ASJC Scopus subject areas

  • Logic

フィンガープリント 「Dual-context sequent calculus and strict implication」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル