Open AccessVon Wright’s truth-logic and around
Author(s) -
Alexander S. Karpenko
Publication year - 2013
Publication title -
logičeskie issledovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2013-19-0-39-50
Subject(s) - many valued logic , intermediate logic , wright , dynamic logic (digital electronics) , mathematics , modal logic , multimodal logic , paraconsistent logic , computer science , artificial intelligence , description logic , programming language , modal , chemistry , physics , transistor , quantum mechanics , voltage , polymer chemistry
In this paper von Wright’s truth-logic T__ is considered. It seems that it is a De Morgan four-valued logic DM4 (or Belnap’s four-valued logic) with endomorphism e2. 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.