Title逻辑系统中的蕴涵
Authors刘壮虎
Affiliation北京大学哲学系
Keywords邻域语义学
逻辑系统
可能世界
实质蕴涵
保真性
模态命题
命题逻辑
命题变项
复合命题
重言式
Issue Date1996
Citation中国逻辑学会第五次代表大会暨学术讨论会..
Abstract蕴涵是逻辑的最基本的概念之一,它不同于推出关系又和推出关系密切相关。不同的逻辑最主要的区别就在于它们使用不同的蕴涵。为比较不同的蕴涵,本文使用一种统一的语义学——邻域语义学。本文通过对蕴涵的最重要的性质——保真性的分析,
URIhttp://hdl.handle.net/20.500.11897/63583
Appears in Collections:哲学系(宗教学系)

Files in This Work
Adobe PDF

Web of Science®



Checked on Last Week

百度学术™



Checked on Current Time




License: See PKU IR operational policies.