Logical Frameworks for Truth and Abstraction —— An Axiomatic Study

----- 真理与抽象的逻辑框架：公理化研究

ISBN: 9780444823069 出版年：1996 页码：474 Cantini, A North Holland_RM

Preface. Contents. Introduction. PART A: COMBINATORS AND TRUTH. I. Introducing operations. II. Extending operations with reflective truth. PART B: TRUTH AND RECURSION THEORY. III. Inductive models and definability theory. IV. Type-free abstraction with approximation operator. V. Type-free abstraction, choice and sets. PART C: SELECTED TOPICS. VI. Levels of implication and intentional logical equivalence. VII. On the global structure of models for reflective truth. PART D: LEVELS OF TRUTH AND PROOF THEORY. 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. PART E: ALTERNATIVE VIEWS. XII. Non-reductive systems for type-free abstraction and truth. XIII. The variety of non-reductive approaches. XIV. Epilogue: applications and perspectives. Bibliography. Index. List of Symbols.