Repository | Book | Chapter
(2015) The road to universal logic II, Basel, Birkhäuser.
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.
Publication details
DOI: 10.1007/978-3-319-15368-1_22
Full citation:
Odintsov, S. P. (2015)., Belnap constants and Nelson logic, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, pp. 521-538.
This document is unfortunately not available for download at the moment.