Logical frameworks for truth and abstraction : an axiomatic study /: an axiomatic study. (1996)

• Record Type: Book
• Further Information: Note: Andrea Cantini.
• Other Names: Cantini, Andrea
• Contents: I. Introducing operations -- II. Extending operations with reflective truth -- III. Inductive models and definability theory -- IV. Type-free abstraction with approximation operator -- V. Type-free abstraction, choice and sets -- VI. Levels of implication and intensional logical equivalence -- VII. On the global structure of models for reflective truth -- VIII. Levels of reflective truth -- IX. Levels of truth and predicative well-orderings -- X. Reducing reflective truth with levels to finitely iterated reflective truth -- XI. Proof-theoretic investigation of finitely iterated reflective truth -- XII. Non-reductive systems for type-free abstraction and truth -- XIII. The variety of non-reductive approaches -- XIV. Epilogue: applications and perspectives.
• Publisher Details: Place of publication not identified : North Holland
• Publication Date: 1996
• Extent: 1 online resource (460 pages)
• Subjects: 511.3; Logic, Symbolic and mathematical; Truth; Logique symbolique et mathématique; Vérité; Logic, Symbolic and mathematical; Truth; Combinatorische logica; Modale logica; Logique symbolique et mathématique
• Languages: English
• ISBNs: 9780080535586; 0080535585
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.