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.
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- 《你有你的计划,世界另有计划》万维钢 电子书下载
- 《太空旅行指南》尼尔·F·科明斯中文版 电子书下载
- 《行为设计学(套装4册)》奇普·希思全译珍藏版 电子书下载
- 《即兴演讲:掌控人生关键时刻》朱迪思·汉弗莱文字版 电子书下载
- 《怎样卖龙虾》比尔·毕晓普 电子书下载
- 《斯坦福极简经济学:如何果断地权衡利益得失》 [美] 蒂莫西‧泰勒 电子书下载
- 《实用现代汉语语法》刘月华 / 潘文娱 / 故韡 电子书下载
- 《每个孩子都能成为天才》石娟升级版 电子书下载
- 《男子塑型减肥4周方案》 高信东文字版 电子书下载
- 《三分养七分教》景文 电子书下载
- JavaScript for impatient programmers ES2021 edition - Dr. Axel Rauschmayer 电子书下载
- 《大英帝国的崛起与衰落:震撼人心的大英帝国全历史》[英]劳伦斯·詹姆斯中文版 电子书下载