【摘 要】
：
子结构逻辑通常是指在刻画为Sequent演算时缺乏某些结构规则的逻辑。一般来说比较著名的子结构逻辑有，相干逻辑（缺少弱化规则），BCK逻辑（缺少收缩规则），线性逻辑（缺少收缩和弱化规则），兰贝克演算（缺少收缩，弱化，交换规则）。因为子结构逻辑通常表达为Sequent演算形式，证明论自然成为该类逻辑的重要的研究方法，并且这类逻辑的判定性问题一直是该领域里有趣且重要的问题。 一般而言，在子结构逻辑中
论文部分内容阅读
子结构逻辑通常是指在刻画为Sequent演算时缺乏某些结构规则的逻辑。一般来说比较著名的子结构逻辑有，相干逻辑（缺少弱化规则），BCK逻辑（缺少收缩规则），线性逻辑（缺少收缩和弱化规则），兰贝克演算（缺少收缩，弱化，交换规则）。因为子结构逻辑通常表达为Sequent演算形式，证明论自然成为该类逻辑的重要的研究方法，并且这类逻辑的判定性问题一直是该领域里有趣且重要的问题。
一般而言，在子结构逻辑中，后承关系一般不等价与逻辑后承。这是因为演绎定理在该类逻辑中通常是不成立的。因此考虑逻辑本身和这个考虑逻辑的后承关系一样重要。那么子结构逻辑的后承关系的判定性问题也是该领域中一个相当重要的问题。许多这方面已有的成果可见:Buszkowski(1982)，(2005)，(2011)，W.J.Block和van Alten(2002),(2005), Farulewski(2008), Galatos(2012)等。根据这些研究，证明通过Sequent系统研究一些子结构逻辑的后承关系，采用了一些新的方法证明了一些子结构逻辑的后承关系是可判定的，比如FLew，FLec，CBL和一些子结构逻辑的后承关系的判定性的计算复杂性是多项式时间(P-Time)，比如CBL。
其他文献
带着对自由的追求，中国在现代化的道路上开行了百余年，劳动和分配的问题是其中的两大主题，探讨它们与自由的关系，既是重要的理论问题，又是迫切的现实问题。探讨这个问题必须回到马克思及其之后的思想家们对此问题的关注中去。 马克思从资本主义条件下社会分配严重不公的现实出发，构建他的社会批判理论。他设想的自由状态是人类能够消除异化劳动而进入创造劳动，按照他的历史唯物主义，生产劳动的进步将能保证分配正义的达到
傅山（1607-1684年）的学术活动以系统地研究和评注诸子百家为中心，他一生遍注诸子，对子学的研究是其最主要也是最突出的学术成就，开启了清代子学复兴的先河。但学界迄今对他的研究甚少。本文在吸收前人相关研究成果的基础上，围绕傅山子学研究的理论基础、体系特色、观点旨趣、价值定位几个问题展开研究。首先，以道统论述为中心，探讨傅山开展子学研究的思想基础，通过分析其对程朱理学的批判和开新，展现傅山的新群己
总体性思想一方面源于哲学家们对世界本原的探索,另一方面则源于西方理性主义文化中客体性原则与主体性原则的内在矛盾。早在古希腊时期,就有不少先哲将世界视为一个整体来考察和描述,在探究世界本原的过程中体现了其总体性思想。随着本体论向认识论的转变,近代哲学应运而生,但理性主义的内在矛盾在唯理论与经验论的对立与争论中不但没有得以解决,反而使其陷入严重的危机。对总体性思想的弘扬,在德国古典哲学中达到了高峰。康
韩国是一个拥有儒教传统的东亚国家，但最近几十年来，随着韩国社会现代化进程的日益加剧，韩国基督教在同一个时期内实现了突飞猛进的发展，得到了国内外学者的广泛关注。迄今为止，大多数学者将韩国基督教迅猛发展的原因解释为近代韩国的民族精神、特殊的社会背景、以及反抗日本殖民主义等因素。然而，统计资料表明，韩国基督教的迅猛发展时期实际上并非出现在近代，而在近几十年。因此，若要分析韩国基督教的盛行原因，应该重点考
关于资本主义起源问题的研究，是史学界、经济学界与哲学界长期以来共同关心的重大课题。不同学科的学者们已经针对这个问题做出了许多有益的研究成果。例如，与经济视角相关的有商业贸易起源说、城市起源说、世界体系起源说、人口周期起源说、产权制度起源说等;与政治视角相关的有阶级斗争和资产阶级革命起源说;与文化视角相关的有资本主义精神起源说、奢侈起源说等。 艾伦·伍德以商业化解释模式及其演变，和马克思主义学者的
实际上，“自然”（或“实在”）和“自我”（或“主体”）的概念萌芽已然存在于古希腊哲学的开端中。尤其自近代以来，随着对自然和人的重新发现，人们更加深了对自然和自我的认识和理解，尽管关于人同自然的关系人们并不持有一致的见解。面对自然界，人的自觉的实践活动已经展现出巨大的能动性和力量。与此相关，一些哲学理论，也倾向于把自然仅仅局限于人的视野中，似乎自然界只有同人相关才是有意义的。这样，人类中心主义的价值
在西方哲学史中,莱布尼茨哲学有着承上启下的重要地位。单子论中连续性与活动性的原则可看作是对笛卡尔的二元论及机械论自然观的直接回应。单子论强调个体性、能动性、灵魂性的环节,直接体现了对近代机械论的克服。单子论是以思辨概念为哲学基点,从而对广延、心灵等重要概念予以阐释的理论体系,个体性、实体、绝对等环节在体系中交互作用并形成统一。从哲学史上讲,单子论直接体现了对斯宾诺莎哲学的补充与超越,而且在近代唯理
张一兵教授说，“马克思并不是天生的马克思主义者。他与我们一样是一个活生生的人，他有着自己火热的青春，有着常人都经历过的成长过程。他的思想也是如此。(1)”对此，他反对将早期马克思与晚期马克思分隔并对立起来。马克思对于人的理解有一个变化发展的过程，本文也试图努力地去展现这一过程。在《论德谟克利特的自然哲学和伊壁鸠鲁的自然哲学之间的差别》中，现实的人是精神领域遭受神性压抑的人，应然的人是恢复自我意识的
运气进入道德领域而成为一个问题或“悖论”是在对以康德（或康德主义的）道德哲学体系为代表的现代道德哲学的反思和批评开始的。现代道德哲学是以规则为核心，对一个主体是否施加责备或惩罚是基于他是否违背了某项道德规则。而道德运气问题揭示了以规则为核心道德哲学体系的缺陷。基于道德运气问题和由其引发的争论在当代伦理学界的突出位置，第一章试图通过一个略要的分析指出道德运气概念的意涵以及分析它为什么成为一个对现代道
西方伦理学史上,“道德力量的来源”这个问题很少被直接地探讨,但大致可以分为以康德为代表的理性论和以叔本华为代表的情感论,对于两者,都会详细地进行讨论并最终站在叔本华一边,同时,将超越叔本华的作为盲目意欲的生命概念,通过对居友、柏格森以及儒家的阐释,希望能够说明,道德的力量将最终建立在“生命”自身的基础之上。本文分五章。在第一章中,将发现,尽管道德动机是无可否认的日常道德现象,但排除一切偏私与偏好即