首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Negation and Paraconsistent Logics
Authors:Soma Dutta  Mihir K Chakraborty
Institution:1. Indian Institute of Bio-Social Research and Development, Prafulla Kanan, VIP Road, Kestopur, Kolkata, 700101, India
2. Jadavpur University, Kolkata, India
3. Indian Statistical Institute, Kolkata, India
Abstract:Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation (?{\neg}) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come out. The first one is that the notion of inconsistency of paraconsistent logics turns out to be a formula-dependent notion and the second one is that the characterization (i.e. equivalence) appears to be pertinent to a class of paraconsistent logics which have double negation property.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号