# Extensions of First Order Logic

Cambridge University Press, 1996 - History - 388 pages
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.

### What people are saying -Write a review

We haven't found any reviews in the usual places.

### Contents

 STANDARD SECOND ORDER LOGIC 1 Standard structures 22 Standard semantics 30 Semantic theorems 62 DEDUCTIVE CALCULI 69 Sequent calculi 75 Soundness theorem in standard semantics 90 Incompleteness in standard structures 94
 Algebraic definition of relational general structures 197 A functional theory of types 205 Equational presentation of the functional theory of finite types 214 MANYSORTED LOGIC 220 Structures 227 Substitution of a term for a variable 236 Reduction to onesorted logic 257 APPLYING MANYSORTED LOGIC 236 263

 CATEGORICITY OF SECOND ORDER PEANO ARITHMETIC 115 Categoricity of Peano axioms 122 Peano models and primitive recursion 129 Induction models 135 Induction models and primitive recursion in induction models 140 Second order frames 154 Algebraic definition of general structures 171 TYPE THEORY 180 A relational theory of finite types 187
 Applying manysorted logic to higher order logic 277 Applying manysorted logic to modal logic 291 Prepositional modal logic as manysorted logic 312 First order modal logic as manysorted logic 327 Applying manysorted logic to dynamic logic 335 Bibliography 352 Index 369 Copyright

### References from web pages

JSTOR: Extensions of First Order Logic.
Extensions of first order logic. Cambridge tracts in theoretical computer science, no. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, ...

ingentaconnect Extensions of First-Order Logic, Maria Manzano
Extensions of First-Order Logic, Maria Manzano. Author: Ohlbach hj1. Source: Journal of Logic, Language and Information, Volume 7, Number 3, July 1998 , pp. ...
www.ingentaconnect.com/ content/ klu/ jlli/ 1998/ 00000007/ 00000003/ 00161052;jsessionid=nqauolsgje56.alice?format=print

Extensions of First-Order Logic, Maria Manzano
Extensions of First-Order Logic, Maria Manzano. Full text, Full text available on the Publisher site Publisher Site. Source, Journal of Logic, Language and ...
portal.acm.org/ citation.cfm?id=595829.595860

Review: Maria Manzano, Extensions of First Order Logic
Maria Manzano, Extensions of First Order Logic. Full-text: Access via JSTOR (no additional login). Go to this article in JSTOR. Links and Identifiers ...
projecteuclid.org/ handle/ euclid.jsl/ 1183745596

<a href="http://www.cambridge.org">© Cambridge University Press</a ...
Cambridge University Press · www.cambridge.org. Cambridge University Press. 0521019028 - Extensions of First Order Logic. Maria Manzano. Frontmatter ...
assets.cambridge.org/ 97805210/ 19026/ frontmatter/ 9780521019026_frontmatter.pdf

CSLI Calendar, 23 May 1996, vol.11:28
______ LOGIC SEMINAR on Friday, 24 May 12 noon, Building 380, Room 383-N Extensions of First Order Logic Maria Manzano [manzano@csli.stanford.edu] Several ...
www-csli.stanford.edu/ Archive/ calendar/ 1995-96/ msg00028.html

Extensions of First-order Logic - jácotei
Pesquisa e compara precos de livros extensions of first order logic.
matrix.jacotei.com.br/ extensions-of-first-order-logic-manzano-maria-0521019028.html

Manzano Maria: Extensions Of First-Order Logic | ISBN ...
Extensions Of First-Order Logic. An introduction to many-sorted logic as an extension of first-order logic. Související odkazy:. Maria Manzano ...
www.bookfayre.cz/ books/ item/ 9780521019026.html.cs

Tmecca : Extensions of First Order Logic by Manzano, Maria ...
Extensions Of First Order Logic. 정가, 72000원. 판매가, 72000원 + 수수료 (0% DC). 적립금, 1400(2%). ISBN10, 0521019028. ISBN13, 9780521019026 ...
www.tmecca.co.kr/ detail/ detail_book.html?isbn=9780521019026

Search Result
1, Hans Jürgen Ohlbach: Extensions of First-Order Logic, Maria Manzano. Journal of Logic, Language and Information 7(3): 389-391 (1998) ...
www.informatik.uni-trier.de/ ley/ dbbin/ dblpquery.cgi?title=Extensions+of+First-Order+Logic,+Maria+Manzano.