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