David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 164 (3):321 - 332 (2008)
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||Elimination of variables and quantifiers Boolean equations Monadic second-order logic Atomless and atomic Boolean algebras Cardinality quantifiers Boole Schröder Löwenheim Skolem Behmann Ackermann|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
George Boole (1951). An Investigation of the Laws of Thought,. [New York]Dover Publications.
Alonzo Church (1944). Introduction to Mathematical Logic. London, H. Milford, Oxford University Press.
William Craig (1960). Bases for First-Order Theories and Subtheories. Journal of Symbolic Logic 25 (2):97-142.
Leon Henkin (1950). Completeness in the Theory of Types. Journal of Symbolic Logic 15 (2):81-91.
Citations of this work BETA
No citations found.
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 downloads12 ( #126,012 of 1,098,129 )
Recent downloads (6 months)5 ( #56,973 of 1,098,129 )
How can I increase my downloads?