国家社会科学基金(08BZX049)
- 作品数：6 被引量：20H指数：2
- 相关作者：李娜王湘云姚从军杜文静史璟更多>>
- 相关机构：南开大学华北水利水电大学华东政法大学更多>>
- 发文基金：国家社会科学基金天津市哲学社会科学研究规划项目更多>>
- 相关领域：哲学宗教环境科学与工程经济管理更多>>
- 借鉴美国经验发展我国农产品物流的策略研究被引量：1
- 2014年
- 首先介绍了美国农产品物流发展的主要原因,然后结合实际情况分析了我国农产品物流发展存在的问题,最后为我国今后发展农产品物流提出了切实可行的具体策略:构建发展农产品物流的良好环境、加大对农产品物流基础设施的投入力度、积极发展并引进先进的农产品物流技术、加快农产品物流信息化建设、着力提高农产品物流主体的综合素质。
- 王湘云
- 关键词：农产品物流
- 共代数模态逻辑研究述评
- 2011年
- 共代数（coalgebra，数学中常译为余代数）是代数的对偶概念。数学、逻辑学和理论计算机科学中的许多结构都能够很自然地看做共代数。奥采尔（P．Aczel）在1988年给出的第一个例子将转换系统和非良基集（non—well—foundedsets）模型称为共代数。存此基础上，1996年，巴威斯（J．Barwise）和莫斯（L．Moss）讨论了各种包含循环性和自参考概念的现象，
- 李娜王湘云
- 关键词：逻辑研究计算机科学WELL逻辑学
- 互模拟的一些基本性质被引量：8
- 2010年
- 由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。因此,本文首先简单介绍互模拟产生的原因及作用;其次,给出两个加标转换系统之间的互模拟定义,并说明由此定义如何得到计算机科学中、模态逻辑中以及集合论中互模拟的定义;最后证明在这种定义下,互模拟的一些基本性质。
- 李娜姚从军
- 关键词：互模拟
- 论基础公理与反基础公理
- 2013年
- "循环并不可恶"。本文在此基础上讨论基础公理和反基础公理。首先指出基础公理原本就是一条有争议的公理;第二,说明基础公理的局限性;第三,详细论述反基础公理家族中的三个成员,并给出它们两两不相容的一个证明;第四,分析反基础公理导致集合论域在V=WF上不断扩张的方法,并指出这种扩张的方法与数系扩张的方法相同;最后结论:良基集合理论(ZFC)与非良基集合理论(ZFC^-+AFA(或者ZFC和ZFC^-+FAFA或者ZFC和ZFC^-+SAFA))之间的关系类似于欧几里得几何学与非欧几何学之间的关系。
- 李娜杜文静
- 非良基集及其作用
- 2009年
- 非良基集合论是研究循环的或超常集合的理论。近30年来,非良基集理论的研究取得了长足的发展。文章首先剖析经典的ZFC公理集合论在解决循环问题上的局限性,然后介绍非良基集产生的理论背景、历史及研究现状,最后透析非良基集理论的最新研究成果及在哲学、逻辑学、语言学和理论计算机科学中处理循环现象的作用,阐明非良基集理论在现代科学中的应用前景。
- 李娜史璟
- 论我国生态文明建设中存在的问题及对策研究被引量：11
- 2014年
- 生态文明建设作为我国特色社会主义建设"五位一体"布局中的重要组成部分,是马克思主义关于人与自然思想在我国社会建设中的具体体现,对于国家和民族的可持续发展意义重大、影响深远。但是在建设社会主义生态文明的过程中,我国还面临许多亟待解决的问题,主要是生态观念淡薄、生态法治缺失和生态技术落后这三个方面。我国应继续深入进行生态文明教育,加快生态立法,支持鼓励生态技术引进和创新,这样才能顺利推进生态文明建设,让人民群众生活在天蓝水美的美丽中国。
- 王湘云
- 关键词：生态文明建设生态观念生态法制生态技术
