Labelled non-classical logics
Labelled non-classical logics
复制标题
标记的非经典逻辑
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
L. Viganò
中科院分区：
文献类型：
--
作者：
L. Viganò
数字列表。表的列表。致谢。1.引言。第一部分：非经典逻辑的标号演绎。2.命题模态逻辑的自然演绎系统。3.命题非经典逻辑的自然演绎系统。4.量化模态逻辑的标签自然演绎系统。5.在Isabelle中编码标记的非经典逻辑。6.非经典逻辑的标号序列系统。7.讨论。第二部分：模态序列系统的子结构和复杂性分析。8.引言和前言。9.《S(K)》的子结构分析。10.S(T)的子结构分析。11.S(K4)和S(S4)的亚结构分析。12.证明搜索在K，T，K4和S4中的复杂性。13.讨论。14.结论和进一步研究。参考资料。索引。
List of Figures. List of Tables. Acknowledgments. 1. Introduction. Part I: Labelled deduction for non-classical logics. 2. Labelled Natural Deduction Systems for Propositional Modal Logics. 3. Labelled Natural Deduction Systems for Propositional Non-Classical Logics. 4. Labelled Natural Deduction Systems for Quantified Modal Logics. 5. Encoding Labelled Non-Classical Logics in Isabelle. 6. Labelled Sequent Systems for Non-Classical Logics. 7. Discussion. Part II: Substructural and complexity analysis of modal sequent systems. 8. Introduction and Preliminaries. 9. Substructural Analysis of S(K). 10. Substructural Analysis of S(T). 11. Substructural Analysis of S(K4) and S(S4). 12. Complexity of Proof Search in K, T, K4 and S4. 13. Discussion. 14. Conclusions and Further Research. References. Index.