Logical frameworks for truth and abstraction. An axiomatic study

MaRDI QIDQ1920240zbMATH OpenFDO

Authors Andrea Cantini

Publication date 22 August 1996

Published in Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

applicationscombinatory logicformal semanticsself-referential truthlogical systemsinductive definitionspredicative mathematicsself-applicationclassical topicsproperty theorytype-free abstractiontype-free systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory in general (including proof-theoretic semantics) (03F03) Foundations of classical theories (including reverse mathematics) (03B30) Combinatory logic and lambda calculus (03B40) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• Axiomatic theories of truth
• Stability and paradox in algorithmic logic
• Formal theories of truth
• Type-free property theory, exemplification and Russell's paradox
• Editorial introduction

Cited in

(27)

• Reflecting and unfolding
• A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS
• , , AND REINHARDT’S PROGRAM
• Disquotational truth and analyticity
• An intensional fixed point theory over first order arithmetic
• Adding a conditional to Kripke's theory of truth
• Universes over Frege structures
• Stability and paradox in algorithmic logic
• Theories with self-application and computational complexity.
• About Truth and Types
• Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
• Truth and the philosophy of mathematics
• Totality in applicative theories
• A feasible theory of truth over combinatory algebra
• Systems of explicit mathematics with non-constructive \(\mu\)-operator and join
• Feferman and the Truth
• Axiomatizing Kripke's theory of truth
• Axiomatizing semantic theories of truth?
• Supervaluation-style truth without supervaluations
• Levels of truth
• RAMSIFICATION AND SEMANTIC INDETERMINACY
• On the type-free paracoherent foundation of mathematics with the sedate extension of classical logic by the librationist set theory {\textsterling}, and specifically on why {\textsterling} is neither inconsistent nor contradictory nor paraconsistent
• Possible-worlds semantics for modal notions conceived as predicates
• Truth, reflection and hierarchies
• Abstraction in Fitch's basic logic
• Truth in applicative theories
• Truths, inductive definitions, and Kripke-Platek systems over set theory

This page was built for publication: Logical frameworks for truth and abstraction. An axiomatic study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1920240)