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.
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- 《时间杀手》米歇尔·普西经典版 电子书下载
- Kubernetes: Up and Running 3rd Edition - Brendan Burns, Joe Beda, Kelsey Hightower, and Lachlan Evenson 电子书下载
- 《罗门生》芥川龙之介全译珍藏版 电子书下载
- 《让自己更值钱》博恩·崔西 电子书下载
- Graph Algorithms - Mark Needham and Amy E. Hodler 电子书下载
- 《爱情纪》苏芩珍藏版 电子书下载
- 《新媒体营销圣经》加里•维纳查克 电子书下载
- 《东方科学文化的复兴》朱清时经典版 电子书下载
- Elegant SciPy - Juan Nunez-Iglesias, Stéfan van der Walt, and Harriet Dashnow 电子书下载
- 《学习之道(第2版)》 乔希・维茨金文字版 电子书下载
- 《逝者证言》秦明 电子书下载
- 《硬派健身·减肥篇:知乎斌卡自选集》斌卡文字版 电子书下载