Trees for truth

DOI10.1080/080662001316865855zbMATH Open1027.03003OpenAlexW2078562537MaRDI QIDQ4483979FDOQ4483979

Authors: Juan Barba 

Publication date: 27 May 2003

Published in: Nordic Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/080662001316865855

Recommendations

• Editorial introduction
• Supervaluation on trees for Kripke's theory of truth
• A guide to truth predicates in the modern era
• A simple axiomatizable theory of truth
• scientific article; zbMATH DE number 28355

zbMATH Keywords

self-referential languagevariants of Kripke's partial-model semanticsvariants of the revision theory of truth

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50)

Cited In (3)

• True trees are dense
• The real tree
• Supervaluation on trees for Kripke's theory of truth

This page was built for publication: Trees for truth

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