Synthese 164 (3):321 - 332 (2008)
|Abstract||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.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Franco Montagna (2001). Three Complexity Problems in Quantified Fuzzy Logic. Studia Logica 68 (1):143-152.
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
K. K. Dixit (1975). Indian Logic: Its Problems as Treated by its Schools. Research Institute of Prakrit, Jainology, and Ahimsa.
Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso (2007). On Fork Arrow Logic and its Expressive Power. Journal of Philosophical Logic 36 (5):489 - 509.
Michael Kaminski (1997). The Elimination of de Re Formulas. Journal of Philosophical Logic 26 (4):411-422.
Patrick Blackburn & Jerry Seligman (1995). Hybrid Languages. Journal of Logic, Language and Information 4 (3):251-272.
Jonathan P. Seldin (2000). On the Role of Implication in Formal Logic. Journal of Symbolic Logic 65 (3):1076-1114.
Added to index2009-01-28
Total downloads7 ( #133,479 of 549,088 )
Recent downloads (6 months)1 ( #63,317 of 549,088 )
How can I increase my downloads?