{"product_id":"9780080535586","title":"Logical Frameworks for Truth and Abstraction: An Axiomatic Study","description":"This English translation of the author's original work has been thoroughly revised, expanded and updated.\u003cp\u003eThe book covers logical systems known as \u003ci\u003etype-free\u003c\/i\u003e or \u003ci\u003eself-referential\u003c\/i\u003e. 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.\u003c\/p\u003e\u003cp\u003eResearch 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.\u003c\/p\u003e\u003cp\u003eAcademics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.\u003c\/p\u003e","brand":"Elsevier Science","offers":[{"title":"Default Title","offer_id":47108166516976,"sku":"9780080535586","price":180.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9780080535586_p0.jpg?v=1763637530","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9780080535586","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}