Logical frameworks for truth and abstraction. An axiomatic study
zbMATH Open0860.03015MaRDI QIDQ1920240FDOQ1920240
Authors: Andrea Cantini 
Publication date: 22 August 1996
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Recommendations
applicationscombinatory logicformal semanticsself-referential truthlogical systemsinductive definitionspredicative mathematicsself-applicationclassical topicsproperty theorytype-free abstractiontype-free systems
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)
Cited In (27)
- An intensional fixed point theory over first order arithmetic
- Universes over Frege structures
- Levels of truth
- Axiomatizing Kripke's theory of truth
- Truth, reflection and hierarchies
- Stability and paradox in algorithmic logic
- A feasible theory of truth over combinatory algebra
- , , AND REINHARDT’S PROGRAM
- Totality in applicative theories
- Disquotational truth and analyticity
- Axiomatizing semantic theories of truth?
- RAMSIFICATION AND SEMANTIC INDETERMINACY
- Possible-worlds semantics for modal notions conceived as predicates
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
- 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
- Feferman and the Truth
- Supervaluation-style truth without supervaluations
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join
- About Truth and Types
- Adding a conditional to Kripke's theory of truth
- Truth in applicative theories
- A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS
- Truths, inductive definitions, and Kripke-Platek systems over set theory
- Theories with self-application and computational complexity.
- Truth and the philosophy of mathematics
- Abstraction in Fitch's basic logic
- Reflecting and unfolding
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)
