An institution-independent proof of the Robinson Consistency Theorem

Daniel Mircea Gaina, Andrei Popescu

研究成果: Contribution to journalArticle査読

15 被引用数 (Scopus)

抄録

We prove an institutional version of A. Robinson's Consistency Theorem. This result is then appliedto the institution of many-sorted first-order predicate logic and to two of its variations, infinitary and partial, obtaining very general syntactic criteria sufficient for a signature square in order to satisfy the Robinson consistency and Craig interpolation properties.

本文言語英語
ページ(範囲)41-73
ページ数33
ジャーナルStudia Logica
85
1
DOI
出版ステータス出版済み - 1 1 2007
外部発表はい

All Science Journal Classification (ASJC) codes

  • 論理
  • 科学史および科学哲学

フィンガープリント

「An institution-independent proof of the Robinson Consistency Theorem」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル