Proof Theory of N4-Paraconsistent Logics 电子书下载
The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nelson. The volume brings together a number of papers the authors have written separately or jointly on various systems of inconsistency-tolerant logic. The material covers the structural proof theory of • N4, • its fragments, including first-degree entailment logic, • related logics, such as trilattice logics, connexive systems, systems of symmetric and dual paraconsistent logic, and variations of bi-intuitionistic logic, • paraconsistent temporal logics, • substructural subsystems of N4, such as paraconsistent intuitionistic linear logics, paraconsistent logics based on involutive quantales, and paraconsistent Lambek logics. Although the proof-theory of N4 and N4-related logics is the central theme of the present monograph, models and model-theoretic semantics also play an important role in the presentation. The relational, Kripke-style models that are dealt with provide a motivating and intuitively appealing insight into the logics with respect to which they are shown to be sound and complete. Nevertheless, the emphasis is on Gentzen-style proof systems -in particular sequent calculi of a standard and less standard kind- for paraconsistent logics, and cut-elimination and its consequences are a central topic throughout. A unifying element of the presentation is the repeated application of embedding theorems in order to transfer results from other logics such as intuitionistic logic to the paraconsistent case.
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- 《技术至死:数字化生存的阴暗面》[白俄]叶夫根尼·莫罗佐夫全译珍藏版 电子书下载
- Professional Hadoop Solutions - Boris Lublinsky, Kevin T. Smith and Alexey Yakubovich 电子书下载
- 《艾比斯之梦》山本弘 电子书下载
- 《X的悲剧》埃勒里·奎因文字版 电子书下载
- 《解读地球密码22 水上明珠:岛》王经 修订版 电子书下载
- 《学会吃饭》樊登读书会樊登博士特别推荐,美国国家卫生研究院前瞻性研究成果,这本书不只让你会瘦身![美]珍・克里斯特勒文字版 电子书下载
- Network Programming with Go - Adam Woodbeck 电子书下载
- 《猛兽总是独行——鲁迅与他的朋友圈》孙玉祥 电子书下载
- 《剑指Offer:名企面试官精讲典型编程题》 电子书下载
- 《链接:网络新科学》巴拉巴西全译文字版PFD电子书下载 电子书下载
- 《商文明》张光直全新升级版 电子书下载
- 《幸福女人要读的婚姻心理学》史荣新全新版 电子书下载