propositional

Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3

三值命题逻辑系统L3~中逻辑理论性态的拓扑刻画拓扑描绘字，拓扑描述符

互联网摘选

Propositional attitude is put forward by Bertrand Russell, but is ignored by scholars in the field of analytical philosophy of language and western linguistics including Russell himself.

命题意向或命题态度由伯特兰·罗素提出，却为包括他在内的分析性语言哲学和西方语言学领域的学者所忽略。

互联网摘选

Many-sorted propositional dynamic logic system based on parallel processing environment

基于并行处理环境的多类命题动态逻辑系统

互联网摘选

Decision of the validity of the propositional inference by basic linguistics

用BASIC语言判定命题推理的有效性

互联网摘选

This paper introduces a method for propositional logic calculation.

介绍了命题逻辑演算方法。

互联网摘选

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤.

互联网摘选

The Arithmetic Design for Theorem Proving in the Axiom System of Classical Propositional Logic

经典命题逻辑公理系统定理证明算法设计

互联网摘选

A propositional content can have different focuses of sentence.

一个命题内容可以有不同的语句焦点。

互联网摘选

Universal Algorithm of Automatic Theorem Proving in Propositional Logic

命题逻辑定理证明的一个普遍能行算法

互联网摘选

This paper works on propositional logic system in Computer Logic.

本论文研究了计算机数理逻辑中的命题演算部分内容.

互联网摘选

An extension of the propositional calculus system of medium logic(ⅱ)

中介逻辑命题演算的扩张（Ⅱ）

互联网摘选

According to the propositional stands for layer segmentation brought forward by the ITU ( International Telecommunications Union), in 1997, and composing the arithmetic of document images segmentation presented at the present time, an optimized images of document segmentation model is proposed in this thesis.

借鉴1997年国际电信同盟（ITU）提出的文档图像层分割的建议标准，并结合目前的分割算法，论文提出了一种优化的文档图像分割模型。

互联网摘选

An Empirical Research on the Influencing Factor in Propositional Reasoning Ability

复合命题推理能力相关影响因素的实证研究

互联网摘选

Can attend propositional invitational tournament, this is a challenge, also be an opportunity!

都可以参加命题邀请赛, 这是一次挑战, 也是一次机会!

互联网摘选

Another decision method for the validity of the propositional inference

关于命题论证有效判定的另一方法

互联网摘选

The Psychological Research on Propositional Reasoning: Review and Comments

命题推理的心理学研究综述

互联网摘选

A Model Predictive Control Based on Hybrid Systems Integrating Propositional Logic with System Dynamics

结合了命题逻辑与系统动力学的混合控制

互联网摘选

Scheme of Stratification Syntax on Fuzzy Propositional Logic

L-Fuzzy命题逻辑系统的语构分层方案

互联网摘选

The Study Object, Logic and Precondition of Propositional Theory& On Coser's methods for studying social conflict

命题化理论的研究对象、逻辑关系与前提条件&评科塞对社会冲突的研究方法

互联网摘选

In this paper, A new retrieval mechanism of database is investigated based on quantified propositional calculus of Fuzzy Logic. It Can be used to process the more general fuzzy database retrieval.

本文从基于模糊逻辑的量化命题演算出发，探究一个新的数据库查询机制，用以处理更一般的量化命题意义的模糊数据库查询。

互联网摘选

The intentional realist argument made by symbol computationalists is to show that propositional attitudes with semantic properties are causally efficacious.

符号计算主义的意向实在论论证的要点，是表明具有语义性质的命题态度的因果效力。

互联网摘选

Propositional formula based model for NTFS user-role computing

基于逻辑式的NTFS用户角色计算模型

互联网摘选

This raises problems for the intentional realist argument: How is the semantic property of the propositional attitudes causally relevant to the behaviours of the cognitive system?

这就给符号计算主义的意向实在论论证带来了问题：命题态度的语义性质如何能够对认知系统的行为具有因果相关性？

互联网摘选

It is impossible for a quantitative fuzzy propositional logic to subsume classical propositional logic.

在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。

互联网摘选

Short consistency degrees of finite theories in propositional fuzzy logic system

命题模糊逻辑系统中有限理论的弱相容度

互联网摘选

Decidability of Propositional Projection Temporal Logic

命题投影时序逻辑的可判定性

互联网摘选

Generating Algorithm of Truth Value Table and Type's Mechanical Decision to a Propositional Formula

命题公式真值表的生成与公式类型的机械判定

互联网摘选

The Propositional Thoughts on Solving the "Legal Loophole" Problems& To Partly View from the Judge-made Law System in Common Law System

解决法律漏洞的建议性思考&兼论司法实践中对普通法系的法官造法之镜鉴

互联网摘选

Propositional μ-Calculus Design and Implementation for Temporal Logic Systems

时序系统命题μ演算算法设计与实现

互联网摘选

The model for deductive theory is the propositional calculus.

演绎推理理论的模型是命题演算.

互联网摘选