【摘 要】
：
The paper proves that Lambek calculus with a De Morgan negation (LDN) is decidable which answers the open question in[9].Our proposal builds on the
【机 构】
：
INSTITUTEOFLOGICANDCOGNITION,SUNYAT-SENUNIVERSITY
论文部分内容阅读
The paper proves that Lambek calculus with a De Morgan negation (LDN) is decidable which answers the open question in[9].Our proposal builds on the embedding result from the conservative extension of LDN to the conservative extension of L with a minimal negation,and shows that the latter is decidable.
其他文献
生态审美经验主要体现为空间意识与时间意识.空间意识通过身体与自然的联系将自然视为自身的相关项而非对立项,自然构成人类生活世界的终极根源.在生态审美经验,地
This paper proposes a new solution to the well-known Free Choice Permission Paradoxes[4,12,34],combining ideas from substructural logics and nonmon
20世纪60年代,严峻的环境危机催生了波及人文科学和自然科学的各个研究领域的"环境转向",而美学学科内部拓展和变革自身的呼声也日益高涨,现代西方环境美学在这双重
生态批评是一种具有强烈的现实关怀精神和鲜明实践品格的文化批评活动,这意味着它的理论反思必须在具体的现实历史语境中有所指向,现实生活世界是它的生长点和最终
本文在[1]的基础上,讨论具体的三类概念,类概念、个体概念和性质概念.不在最一般的语义框架讨论它们的结构,而是在满足标准规则的前提下进行讨论.在概念结构的基础
We investigate the problem of locally equivalent and model conservative rewritability of a formula φ in a modal logic into a formula ψ in a weake
In this paper,we propose a new neighborhood semantics for contingency logic,by introducing a simple property in standard neighborhood models.This s
This work is motivated by the following question: what is the weakest sub-theory of PA for which G(o)dels first incompleteness theorem (G1 for shor
亚当斯和史东内克从传统的有效性观点之外,对指示条件句的推论提出了合理性这样的概念,并对这样的概念提出了两个不同的准则.本文从可断规性的概念分别来对两者提出