Trees for truth

DOI10.1080/080662001316865855zbMath1027.03003OpenAlexW2078562537MaRDI QIDQ4483979

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

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

This page was built for publication: Trees for truth