Title: Discursive reasoning in a constructive setting

Authors: Seiki Akama

Addresses: C-Republic Inc., 1-20-1, Higashi-Yurigaoka, Asao-ku, Kawasaki-shi 215-0012, Japan

Abstract: Discursive reasoning is the form of paraconsistent reasoning useful to practical applications. Jaskowski devised discursive logic as the first paraconsistent logic. In this paper, we propose a constructive discursive logic with strong negation CDLSN (Constructive Discursive Logic with Strong Negation) based on Nelson|s constructive logic N−, which can serve as a foundation for discursive reasoning in a constructive setting.

Keywords: discursive reasoning; discursive logic; paraconsistent logic; constructive logic; strong negation.

DOI: 10.1504/IJRIS.2011.042261

International Journal of Reasoning-based Intelligent Systems, 2011 Vol.3 No.2, pp.88 - 93

Published online: 02 Sep 2011 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article