Repository | Series | Book | Chapter

203662

Belnap constants and Nelson logic

Sergei P. Odintsov

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.