Extending the first-order theory of combinators with self-referential truth

DOI10.2307/2275216MaRDI QIDQ3138009zbMATH OpenOpenAlexFDO

Authors Andrea Cantini

Publication date 24 October 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275216

zbMATH Keywords

approximation of propertycombinatory logicformal system STW of self-referential truthFrege structurestruth predicate

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof theory in general (including proof-theoretic semantics) (03F03) Proof theory and constructive mathematics (03F99)

Recommendations

• scientific article; zbMATH DE number 1163982
• Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations
• An axiomatic approach to self-referential truth
• Truth in applicative theories
• A semantic approach to illative combinatory logic

Cites work

• A note on three-valued logic and Tarski theorem on truth definitions
• Der Prädikatenkalkül mit limitierten variablen Grundlegung einer natürlichen exakten Logik
• Fundamentals of generalized recursion theory
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 2188308 (Why is no real title available?)
• Implication and analysis in classical Frege structures
• LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
• Notes on Formal Theories of Truth
• Outline of a Theory of Truth
• Splittings of a Lattice

Cited in

(6)

• Universes over Frege structures
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• scientific article; zbMATH DE number 4081552 (Why is no real title available?)
• scientific article; zbMATH DE number 1163982 (Why is no real title available?)
• A fixed point theory over stratified truth
• Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)

This page was built for publication: Extending the first-order theory of combinators with self-referential truth

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