Quasi-subtractive varieties: a unified framework for substructural, modal and quantum logic
Quasi-subtractive varieties: a unified framework for substructural, modal and quantum logic
准减法簇：子结构、模态和量子逻辑的统一框架
批准号：
FT100100952
负责人：
Prof Tomasz Kowalski
金额：
$45.85万
依托单位：
依托单位国家：
澳大利亚
项目类别：
ARC Future Fellowships
财政年份：
2011
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2011-03-15 至 2015-03-15
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
An algebraic theory is proposed that provides a common umbrella for a plethora of non-classical logics. At the same time, it identifies a core that these logics share with classical algebras.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
