Discursive reasoning in a constructive setting
Seiki Akama · International Journal of Reasoning-based Intelligent Systems · 2011
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.