Discursive reasoning in a constructive setting

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… (More)
DOI: 10.1504/IJRIS.2011.042261

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.