Belnap constants and Nelson logic

Sergei P. Odintsov

pp. 521-538

in: Arnold Koslow, Arthur Buchsbaum (eds), The road to universal logic II, Basel, Birkhäuser, 2015

Abstract

This chapter aims to investigate connections between Belnap's useful four valued logic and Nelson's constructive logic with strong negation and the role of adding logical constants to the language. We consider the paraconsistent Nelson's logic and its expansions obtained by adding to it logical constant's corresponding to truth values of Belnap's useful four-valued logic.