An institution-independent generalization of Tarski's elementary chain theorem

Daniel Gǎinǎ, Andrei Popescu

研究成果: Contribution to journalArticle査読

10 被引用数 (Scopus)

抄録

We prove an institutional version of Tarski's elementary chain theorem applicable to a whole plethora of 'first-orderaccessible' logics, which are, roughly speaking, logics whose sentences can be constructed from atomic formulae by means of classical first-order connectives and quantifiers. These include the unconditional equational, positive, (π ∪ ∑)n 0 and full first-order logics, as well as less conventional logics, used in computer science, such as hidden or rewriting logic.

本文言語英語
ジャーナルJournal of Logic and Computation
16
6
DOI
出版ステータス出版済み - 12 2006
外部発表はい

All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • ソフトウェア
  • 人文科学(その他)
  • ハードウェアとアーキテクチャ
  • 論理

フィンガープリント

「An institution-independent generalization of Tarski's elementary chain theorem」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル