期刊文献+

分布逻辑的理论与分析

Theory of Distributed Logic
原文传递
导出
摘要 以往的逻辑理论讨论的是理论上命题之间的逻辑关系,作为一种基本准则,可以放在许多情况下使用,但是一般的逻辑理论相对抽象,命题形式过于简单,这样有时不能很准确很方便地处理实际问题,在传统数学中,分布是一种重要的思想,基于这种思想建立了分布逻辑理论,同时对命题值在分布结构上的真假以及变化进行了讨论。 Classical logic studies general propositions and logical formulas.As a general rule classical logic can be used in many circumstances.But sometimes classical logical theory is too abstract to study real problems.Distribution is an important idea in mathematics.This paper sets up a new logic called distributed logic and discusses the truth,the false and changes of propositional value on distributed structure.
作者 孟波
机构地区 联科应用研究所
出处 《数学的实践与认识》 CSCD 北大核心 2012年第7期176-185,共10页 Mathematics in Practice and Theory
关键词 分布命题 分布逻辑公式 分布逻辑模型 充满 空白 变化 突变 伴随命 排斥命题 distributed proposition distributed logical formulas distributed logical model fullness emptiness change mutation adjoint proposition exclusive proposition
  • 相关文献

参考文献5

  • 1孙明湘.数理逻辑[M]长沙:中南大学出版社,2004.
  • 2王元元.计算机科学中的现代逻辑学[M]北京:科学出版社,2001.
  • 3陆钟万.面向计算机科学的数理逻辑[M]北京:科学出版社,1998.
  • 4左孝凌.离散数学[M]上海:上海科学技术文献出版社,1981.
  • 5孟波.基于逻辑关系的数学模型—逻辑模型的理论与分析[J].数学的实践与认识,2009,39(24):180-189. 被引量:1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部