scispace - formally typeset
Open AccessJournal Article

Paraconsistent Logic in the Field of Classical Logic

Reads0
Chats0
TLDR
In this article, a da costa paraconsistent logic system is regarded as basis to analyse the logic connection between proposition A and negation of Paraconsistent Logic, and the difference between contradiction of Paraconistent, Law of contradiction and contradiction of classical logic,law of contradiction.
Abstract
In this article by the skill of N.C.A da costa paraconsistent logic system is regarded as basis to analyse the logic connection between proposition A and negation of paraconsistent logic A,difference between contradiction of paraconsistent,law of contradiction and contradiction of classical logic,law of contradiction.It points out that N.C.A da costa paraconsistent logic is not true meaning of paraconsistent logic.But N.C.A da costa paraconsistent logic is important in the theory of non-classical logic,as non-Eudidean geometry and Eudidean geometry.

read more

Citations
More filters
Proceedings ArticleDOI

Intuitive Implication Logic System

TL;DR: This paper gives a new strategy to build an intuitive implication logic system, D, in which the property of implication should be in accordance with intuition and the fundamental laws of classical logic should be reserved.
References
More filters
Proceedings ArticleDOI

Intuitive Implication Logic System

TL;DR: This paper gives a new strategy to build an intuitive implication logic system, D, in which the property of implication should be in accordance with intuition and the fundamental laws of classical logic should be reserved.