检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:刘步青[1]
出 处:《重庆理工大学学报(社会科学)》2013年第9期84-87,共4页Journal of Chongqing University of Technology(Social Science)
摘 要:在概述"蕴涵怪论"与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改。认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景。然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑。Classical logic and modal logic would cause a series of paradoxes of implication. Relevance logic tries to avoid paradoxes of implication, forbids "conclusion is not relevant to premise", and uti- lizes " conclusion is relevant to premise", to make sure that premise is relevant to conclusion by given relevance index. There are a very large member and semantics in relevance logic which has a brilliant future. However, relevance logic is more abstractive and more complicated than classical logic and modal logic, which results in a series of questions.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.7