Birkhoff completeness in institutions

Mihai Codescu; Daniel Gǎinǎ

doi:10.1007/s11787-008-0035-1

Birkhoff completeness in institutions

Mihai Codescu, Daniel Gǎinǎ

Research output: Contribution to journal › Article › peer-review

19 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	277-309
Number of pages	33
Journal	Logica Universalis
Volume	2
Issue number	2
DOIs	https://doi.org/10.1007/s11787-008-0035-1
Publication status	Published - 2008
Externally published	Yes

All Science Journal Classification (ASJC) codes

Logic
Applied Mathematics

Access to Document

10.1007/s11787-008-0035-1

Cite this

@article{90ec6c6a286a435e905bb21e78f157ed,

title = "Birkhoff completeness in institutions",

abstract = "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.",

author = "Mihai Codescu and Daniel Gǎinǎ",

note = "Funding Information: Mihai Codescu has been supported by a PhD scholarship of DFKI Laboratory, Bremen. Daniel G˘ain˘a has been supported by a PhD scholarship of Japan Advanced Institute of Science and Technology.",

year = "2008",

doi = "10.1007/s11787-008-0035-1",

language = "English",

volume = "2",

pages = "277--309",

journal = "Logica Universalis",

issn = "1661-8297",

publisher = "Birkhauser Verlag Basel",

number = "2",

}

TY - JOUR

T1 - Birkhoff completeness in institutions

AU - Codescu, Mihai

AU - Gǎinǎ, Daniel

N1 - Funding Information: Mihai Codescu has been supported by a PhD scholarship of DFKI Laboratory, Bremen. Daniel G˘ain˘a has been supported by a PhD scholarship of Japan Advanced Institute of Science and Technology.

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=58149186691&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=58149186691&partnerID=8YFLogxK

U2 - 10.1007/s11787-008-0035-1

DO - 10.1007/s11787-008-0035-1

M3 - Article

AN - SCOPUS:58149186691

VL - 2

SP - 277

EP - 309

JO - Logica Universalis

JF - Logica Universalis

SN - 1661-8297

IS - 2

ER -

Birkhoff completeness in institutions

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this