Birkhoff completeness in institutions

Mihai Codescu, Daniel Gǎinǎ

研究成果: Contribution to journalArticle査読

17 被引用数 (Scopus)

抄録

We develop an abstract proof calculus for logics whose sentences are 'Horn sentences' of the form: (∀X)H ⇒ c and prove an institutional generalization of Birkhoff completeness theorem. This result is then applied to the particular cases of Horn clauses logic, the 'Horn fragment' of preorder algebras, order-sorted algebras and partial algebras and their infinitary variants.

本文言語英語
ページ(範囲)277-309
ページ数33
ジャーナルLogica Universalis
2
2
DOI
出版ステータス出版済み - 2008
外部発表はい

All Science Journal Classification (ASJC) codes

  • 論理
  • 応用数学

フィンガープリント

「Birkhoff completeness in institutions」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル