Truth, proofs and functions

DOI10.1023/A:1026274716840MaRDI QIDQ6904404zbMATH OpenFDO

Authors Jean Fichot

Publication date 7 November 2025

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1026274716840

zbMATH Keywords

classical truthconstructive mathematicsmathematical propositionTarskian definitiontruth amount

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Cites work

• Constructions, proofs and the meaning of logical constants
• Constructivism in mathematics. An introduction. Volume II
• Die intuitionistische Grundlegung der Mathematik.
• Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
• scientific article; zbMATH DE number 3427310 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 1301807 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3216178 (Why is no real title available?)
• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• scientific article; zbMATH DE number 3336772 (Why is no real title available?)
• scientific article; zbMATH DE number 3342819 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
• Lectures on the Theory of Functions.
• The faithfulness of the interpretation of arithmetic in the theory of constructions

This page was built for publication: Truth, proofs and functions

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