 The investigation of semantical and set-theoretic paradoxes in infinite-valued logic—which was pioneered by Mow Shaw-Kwei 1954 and Skolem in 1957 — has received a new impulse by contributions by Hajek, Shepherdson and Paris 2000, and Hajek 2005, 2010. Typically, in these papers basic results from mathematical analysis are applied (e.g. Brouwer’s fixed point theorem). It is worth mentioning that Leitgeb 2008 has given a consistency proof for a probabilistic theory of truth with unrestricted T-schema by making use of the Hahn-Banach Theorem. A follow-up of the latter source that connects with researches related to the revision theory (see §6.5), is Campbell-Moore, Horsten and Leitgeb 2019.