1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 办公文档
  5. 统计图表

加标动态逻辑及其若干应用.pdfVIP

  • 1
  • 0
  • 约4.31万字
  • 约 10页
  • 2018-02-25 发布于天津
  • 举报

加标动态逻辑及其若干应用.pdf

    哲学动态年增刊加标动态逻辑及其若干应用李小五中山大学逻辑与认知科学研究所哲学系广东广州摘要我们引入一加标动态逻辑然后用它以及变种逻辑刻画实践活动程度和活动否定这三个概念关键词加标动态逻辑实践和成功实践活动程度活动否定中图分类号文献标识码文章编号增刊加标动态逻辑说明由和构成的系统记为本文提到但未定义的概念记号和结果请参当时如通常规定是所以见后面的参考文献相对等价于定义本文我们用表示可数无穷多个定义我们用表示是的内定理原子活动的集合用表示可数无在中有一个形式证明的全体内定理的穷多个句符的集合用表示一

    《哲学动态》2005 年增刊 加标动态逻辑及其若干应用 李小五 ( 中山大学逻辑与认知科学研究所，哲学系，广东广州，510275) 摘要：我们引入一加标动态逻辑，然后用它以及变种逻辑刻画实践、活动程度和活动否定这三个概念。 关键词：

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >