核证逻辑研究

摘要	第1-4页
Abstract	第4-6页
1 引论	第6-11页
·核证逻辑的由来	第6-9页
·核证逻辑的研究综述	第9-11页
2 知识与核证	第11-18页
·葛梯尔问题	第11-14页
·显式知识与隐式知识	第14-18页
3 核证逻辑	第18-34页
·证明逻辑LP	第18-22页
·核证逻辑J	第22-25页
·核证逻辑与知识逻辑	第25-34页
4 结论	第34-35页
参考文献	第35-37页
后记	第37页