Extensions of First Order Logic

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

Related books

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

Common terms and phrases

References to this book

All Book Search results »

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, ...
links.jstor.org/ sici?sici=0022-4812(199809)63%3A3%3C1194%3AEOFOL%3E2.0.CO%3B2-T

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.

Bibliographic information