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
Hongguang Wang,Na Li,Guoping Du +2 more
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
Hongguang Wang,Na Li,Guoping Du +2 more
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.