×

Von Wright’s truth-logic and around. (English) Zbl 1273.03079

Karpenko, A. S. (ed.), Logicheskie issledovaniya. 19. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-143-6/hbk). 39-50 (2013).
Summary: In this paper, von Wright’s truth-logic \({\mathbf T}''\) is considered. It seems that it is a De Morgan four-valued logic DM4 (or Belnap’s four-valued logic) with endomorphism \(e_2\). In connection with this, many other issues are discussed: twin truth operators, a truth-logic with endomorphism \(g\) (or logic Tr), the lattice of extensions of DM4, modal logic V2, Craig interpolation property, von Wright-Segerberg’s tense logic W, and so on.
For the entire collection see [Zbl 1270.03020].

MSC:

03B50 Many-valued logic
03B45 Modal logic (including the logic of norms)
PDFBibTeX XMLCite