Repository | Journal | Volume | Articles
(2008) Synthese 164 (3).
A common aim of elimination problems for languages of logic is to express the entire content of a set of formulas of the language, or a certain part of it, in a way that is more elementary or more informative. We want to bring out that as the languages for logic grew in expressive power and, at the same time, our knowledge of their expressive limitations also grew, elimination problems in logic underwent some change. For languages other than that for monadic second-order logic, there remain important open problems.
Publication details
DOI: 10.1007/s11229-008-9352-4
Full citation:
Craig, W.L. (2008). Elimination problems in logic: a brief history. Synthese 164 (3), pp. 321-332.
This document is unfortunately not available for download at the moment.