Cambridge University Press (1996)
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses.
|Categories||categorize this paper)|
|Buy the book||$82.65 used (35% off) $232.53 new Amazon page|
|Call number||QA9.M315 1996|
References found in this work BETA
No references found.
Citations of this work BETA
Structuralism and the Identity of Indiscernibles.Jeffrey Ketland - 2006 - Analysis 66 (292):303–315.
Logic, Essence, and Modality — Review of Bob Hale's Necessary Beings. [REVIEW]Christopher Menzel - 2015 - Philosophia Mathematica 23 (3):407-428.
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
Alonzo Church:His Life, His Work and Some of His Miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.
Similar books and articles
Strong Logics of First and Second Order.Peter Koellner - 2010 - Bulletin of Symbolic Logic 16 (1):1-36.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
A Short Introduction to Intuitionistic Logic.G. E. Mint͡s - 2000 - Kluwer Academic / Plenum Publishers.
Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Modern Logic: A Text in Elementary Symbolic Logic.Graeme Forbes - 1994 - Oxford University Press.
Added to index2009-01-28
Total downloads56 ( #94,072 of 2,171,803 )
Recent downloads (6 months)1 ( #326,702 of 2,171,803 )
How can I increase my downloads?