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

DOI10.2307/2275216zbMath0795.03075OpenAlexW2080979186MaRDI QIDQ3138009

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

truth predicateFrege structurescombinatory logicapproximation of propertyformal system STW of self-referential truth

Mathematics Subject Classification ID

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

Related Items (2)

THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES ⋮ Universes over Frege structures

Cites Work

• Unnamed Item
• Unnamed Item
• Fundamentals of generalized recursion theory
• Implication and analysis in classical Frege structures
• 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
• Notes on Formal Theories of Truth
• LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
• Outline of a Theory of Truth
• Splittings of a Lattice

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