Resource title

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

Resource image

image for OpenScout resource :: Completeness theorems, representation theorems: what’s the difference?

Resource description

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.

Resource author

Resource publisher

Resource publish date

Resource language

en

Resource content type

application/pdf

Resource resource URL

http://eprints.lse.ac.uk/3411/1/Completeness_theorems%2C_representation_theorems_%28LSERO%29.pdf

Resource license