Von Wright’s truth-logic and around

Main Article Content

А. С. Карпенко

Аннотация

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.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
А. С. Карпенко. Von Wright’s truth-logic and around // Логические исследования / Logical Investigations. 2018. Т. 19. № 1.
.
Раздел
Статьи