真值定义相关论文
逻辑概念的定义中存在着严重的定义不清的问题.造成这个问题的原因在于下定义时,无视或不顾概念所反映的事物客观存在着的截然相反......
广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词......
博弈论语义学方法的提出解决了传统形式语义学理论所不能解决的很多问题。关于这种方法对处理某些逻辑理论的语义问题是否适用,已......
