咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 13 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 14 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 8 篇 哲学
    • 8 篇 哲学
  • 2 篇 理学
    • 2 篇 数学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 14 篇 公理模式
  • 4 篇 命题逻辑
  • 4 篇 模态逻辑
  • 2 篇 模型结构
  • 2 篇 代入规则
  • 2 篇 辩证逻辑
  • 2 篇 语法完全性
  • 2 篇 模态系统
  • 2 篇 形式系统
  • 1 篇 三值逻辑
  • 1 篇 等价性
  • 1 篇 模态算子
  • 1 篇 ai
  • 1 篇 程序语言
  • 1 篇 量词
  • 1 篇 直觉主义逻辑
  • 1 篇 哲学逻辑研究
  • 1 篇 avb
  • 1 篇 模态命题演算
  • 1 篇 典范模型

机构

  • 2 篇 南京大学
  • 1 篇 华西医科大学
  • 1 篇 河北大学
  • 1 篇 湖北大学
  • 1 篇 中国科学院哲学研...
  • 1 篇 ibm公司
  • 1 篇 中国科技大学

作者

  • 4 篇 张清宇
  • 2 篇 杜国平
  • 1 篇 周北海
  • 1 篇 高恒珊
  • 1 篇 赵贤
  • 1 篇 宋方敏
  • 1 篇 宋伟
  • 1 篇 胡小伟
  • 1 篇 ｒ．特纳
  • 1 篇 蔡曙山
  • 1 篇 周宗博
  • 1 篇 吕健安
  • 1 篇 沈有鼎

语言

  • 14 篇 中文
检索条件"主题词=公理模式"
共 14 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
对Hamilton谓词形式系统中两个公理模式的讨论
收藏
分享
引用
重庆理工大学学报（社会科学） 2010年 第4期24卷 19-21页
作者： 宋伟 湖北大学哲学学院 武汉430062
Hamilton的谓词形式系统中有这样两个公理模式:((xi)A→A)(其中xi不在A中自由出现)和((xi)A(xi)→A(t))(其中项t对A(xi)中的xi是自由的)。在将Hamilton的谓词形式系统与Church,Hunter,Mendelson等人的系统进行比较之后,分析了Hamil... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
量词模态逻辑的代数语义学(Ⅳ,上)──关于含BARCAN公式的非正规模态系统情形
收藏
分享
引用
哲学研究 1998年 第12期 70-78页
作者： 高恒珊 吕健安 中国科技大学研究生院 IBM公司
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
组合逻辑中的一个新的(ξ)规则
收藏
分享
引用
数学学报（中文版） 1997年 第5期40卷 669-674页
作者： 宋方敏 南京大学计算机科学系
作者提出一个新的规则（ξ０），在组合逻辑的弱相等性理论ＣＬｗ加入（ξ０）之后，弱相等性被加强为ξ０相等性．作者证明ξ０相等性严格强于弱相等性，但严格弱于组合β相等性，作者给出ξ０相等性的有穷公理化．
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
关于系统Z的一些意见
收藏
分享
引用
武汉大学学报(哲学社会科学版) 1993年 第5期 49-55页
作者： 张清宇
本刊1992年第6期刊发了张金成同志的《辩证逻辑形式化的研究》一文后,陆续收到了一些稿件,对张文展开了讨论。我们本着"百花齐放,百家争鸣"的宗旨,已在本刊第4期及本期发表了部分来稿。至此,对该文讨论暂告一段落。
来源： 同方期刊数据库 同方期刊数据库 评论
命题逻辑语法完全性问题
收藏
分享
引用
浙江社会科学 2004年 第1期 156-160页
作者： 杜国平 南京大学哲学系
本文对学界普遍认可的命题逻辑语法完全性问题重新进行分析 ,认为 :命题逻辑的语法完全性在逻辑上是一个关于形式系统和语义模型之间关系的二元谓词 ,是与具体的命题逻辑形式系统联系在一起的 ;指出 :公理数有限、有代入规则的命题逻辑... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
多模态逻辑基础理论研究的基本问题
收藏
分享
引用
河北大学学报（哲学社会科学版） 2019年 第2期44卷 38-42页
作者： 赵贤 胡小伟 河北大学哲学系 河北保定071002
多模态逻辑是关于"包含多种模态的逻辑"的研究,它的系统内包含两种或两种以上模态算子,并且算子间不可归约。多模态逻辑旨在为研究多种类型的模态提供统一的形式框架,其基础理论是模态逻辑理论体系的重要组成部分。多模态算子及其表述... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Kripke语义学及其一些哲学问题
收藏
分享
引用
北京大学学报(哲学社会科学版) 1987年 第4期 20-29页
作者： 周北海
Kripke语义学是关于模态逻辑形式语义等符号的意义和公式真假的一种理论。模态逻辑是逻辑学的一个古老的分支,近几十年来,它得到了蓬勃的发展。其中Kripke語义学的提出是极为重要的,模态逻辑的发展因此而进入了一个新的阶段,而且它还在... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
关于系统Z的一些意见
收藏
分享
引用
武汉大学学报（人文科学版） 1993年 第5期47卷 49-55页
作者： 张清宇
本刊1992年第6期刊发了张金成同志的《辩证逻辑形式化的研究》一文后,陆续收到了一些稿件,对张文展开了讨论。我们本着“百花齐放,百家争鸣”的宗旨,已在本刊第4期及本期发表了部分来稿。至此,对该文讨论暂告一段落。
来源： 维普期刊数据库 维普期刊数据库 评论
初基演算
收藏
分享
引用
数学学报(中文版) 1957年 第1期 132-143页
作者： 沈有鼎 中国科学院哲学研究所
命题演算的构成,通常有三步骤的说法,即从 Johanson 的“极小演算”到 Heyting的构造论命题演算再到二值演算.此外,Lewis 从模态或严格蕴涵出发,也分别了许多步骤,以达到二值演算为其极限;特别值得注意的是最后三个步骤,即从 S4 到 S5 ... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
应用于人工智能的逻辑学
收藏
分享
引用
世界哲学 1997年 第2期 41-50,20页
作者： Ｒ．特纳 蔡曙山
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共2页 <<  < 1 2 >  >> 跳转到页 
回到顶部
执行限定条件