A mathematically derived definitional/semantical theory of truth

zbMath1423.03040arXiv1708.00317MaRDI QIDQ4566046

Seppo Heikkilä

Publication date: 14 June 2018

Full work available at URL: https://arxiv.org/abs/1708.00317

zbMATH Keywords

truthlanguagemeaninginterpretationGödel numbersentence

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: A mathematically derived definitional/semantical theory of truth