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.
International Journal of Reasoning-based Intelligent Systems, 2011 Vol.3 No.2, pp.88 - 93
Received: 08 May 2021
Accepted: 12 May 2021
Published online: 02 Sep 2011 *