Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
复制标题
广义伽罗瓦逻辑：非经典逻辑演算的关系语义
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
J. Dunn
中科院分区：
文献类型：
--
作者：
K. Bimbó;J. Dunn
近年来，非经典逻辑在数学、计算机科学、语言学和哲学等学科中扮演着越来越重要的角色。“广义伽罗瓦逻辑”发展了一种统一的关系语义框架，通过代数在逻辑演算及其语义之间进行中介。本卷地址正常模态逻辑，如K和S5，和子结构逻辑，包括相关逻辑，线性逻辑和Lambek演算。两位作者同样巧妙地处理了不太熟悉的和新的逻辑系统。
Nonclassical logics have recently played an increasing role in disciplines ranging from mathematics and computer science to linguistics and philosophy. "Generalized Galois Logics" develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and new logical systems with equal deftness.