Belnap constants and Nelson logic
pp. 521-538
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.
Publication details
Published in:
Koslow Arnold, Buchsbaum Arthur (2015) The road to universal logic II: Festschrift for the 50th birthday of Jean-Yves Béziau. Basel, Birkhäuser.
Pages: 521-538
DOI: 10.1007/978-3-319-15368-1_22
Full citation:
Odintsov Sergei P. (2015) „Belnap constants and Nelson logic“, In: A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, 521–538.