Completeness theorems, representation theorems: what’s the difference?

Makinson, David C. (2007) Completeness theorems, representation theorems: what’s the difference? In: Hommage a Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz. Lunds Universitet, Lund, Sweden.
Copy

Most areas of logic can be approached either semantically or syntactically. Typically, the approaches are linked through a completeness or representation theorem. The two kinds of theorem serve a similar purpose, yet there also seems to be some residual distinction between them. In what respects do they differ, and how important are the differences? Can we have one without the other? We discuss these questions, with examples from a variety of different logical systems.


picture_as_pdf

Download

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads