Trees for truth

DOI10.1080/080662001316865855MaRDI QIDQ4483979zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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

Cited in

(3)

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

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)