Get Free Shipping on orders over $79
Logical Frameworks For Truth and Abstraction : Logical Frameworks for Truth and Abstraction - A. Cantini
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

Logical Frameworks For Truth and Abstraction

Logical Frameworks for Truth and Abstraction

By: A. Cantini

Hardcover | 14 March 1996

At a Glance

Hardcover


$381.75

or 4 interest-free payments of $95.44 with

 or 

Ships in 15 to 25 business days

This English translation of the author's original work has been thoroughly revised, expanded and updated.

The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications.

Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.

Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.

Industry Reviews
E. Martin ...This is an appealing book, (relatively) easy to read, and attractive in its unified treatment of a range of issues...I found this to be a well-constructed book. The bibliography is thorough, and the indexes are well constructed and accurate... Studia Logica

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Essays in Analysis : Routledge Revivals - Alice Ambrose
Mathematical Puzzles : Revised Edition - Peter  Winkler

RRP $56.99

$52.75

Fuzzy Logic : An Introductory Text - Lukas Brooks