Logical frameworks for truth and abstraction. An axiomatic study

zbMath0860.03015MaRDI QIDQ1920240

Andrea Cantini

Publication date: 22 August 1996

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

zbMATH Keywords

formal semanticsapplicationsself-referential truthcombinatory logiclogical 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) Foundations of classical theories (including reverse mathematics) (03B30) Proof theory in general (including proof-theoretic semantics) (03F03) Combinatory logic and lambda calculus (03B40) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (25)

, , AND REINHARDT’S PROGRAM ⋮ An intensional fixed point theory over first order arithmetic ⋮ Supervaluation-style truth without supervaluations ⋮ Totality in applicative theories ⋮ A feasible theory of truth over combinatory algebra ⋮ Truth, reflection and hierarchies ⋮ Levels of truth ⋮ Stability and paradox in algorithmic logic ⋮ Adding a conditional to Kripke's theory of truth ⋮ RAMSIFICATION AND SEMANTIC INDETERMINACY ⋮ Disquotational truth and analyticity ⋮ Theories with self-application and computational complexity. ⋮ About Truth and Types ⋮ TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY ⋮ Feferman and the Truth ⋮ Possible-worlds semantics for modal notions conceived as predicates ⋮ Axiomatizing Kripke's theory of truth ⋮ On the Type-Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and Specifically on Why £Is Neither Inconsistent nor Contradictory nor Paraconsistent ⋮ Abstraction in Fitch's Basic Logic ⋮ Truth and the philosophy of mathematics ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator and join ⋮ A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS ⋮ Reflecting and unfolding ⋮ AXIOMATIZING SEMANTIC THEORIES OF TRUTH? ⋮ Universes over Frege structures

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