propositional

Symbolic logic is often divided into two branches, propositional logic and predicate logic.

Propositional dynamic logic(PDL)can be used to represent and reasoning actions and also be an effective tool for solving planning problem.

Furthermore, we discuss the truth degree of the propositional formula in two-valued propositional logic system.

Nobody asked whether such predicates had any intrinsic and independent truth, or if the propositional form could be a form of truth.

It is not semantically oriented and does not add anything to the propositional content of an utterance, but has plenty of pragmatic effects.

This paper argues that propositional content and expression way at most can only decide language politeness, cannot decide discourse polite.

The new propositional knowledge was widely disseminated through a growing network of scientific and engineering journals and encyclopedias.

This paper develops the concept of consistency of finite theories in propositional fuzzy logic system.

In the general propositional form propositions occur in other propositions only as bases of truth-operations.

This paper obtains the T-truth degree of formulae in two-valued propositional logic system and discusses its properties in logic operations.

Accordingly, take calendar year examination questions seriously adequately, conduce to hold exam key and propositional incline to.

The paper believes that negation expressed by yes-no rhetorical questions can be grouped under propositional negation and modal negation.

The uniform issue of two-valued propositional logic formulas and logical equivalent formulas is discussed.

With respect to verification of customization on feature model, this paper proposed a propositional logic-based verification method SUSI.

Propositional forms are expressed by symbols, but can prepositional forms be equated with symbolization of propositions?

This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositional logic.

The propositional variable signifies the formal concept, and its values signify the objects that fall under the concept.

Finally, propositional value of foamed asphalt evaluation index is indicated as its application guidance.

An important way for solving intelligent planning problem is translating it into propositional logic to solve.

In this paper, the conditional truth degree of formulas in 3-valued propositional logic is proposed on the idea of conditional probability.

The description of the most general propositional form is the description of the one and only general primitive sign in logic.

Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.

Best method still asks to give propositional teacher, strive for audit next its give lessons.

This text will first introduce you one branch of symbolic logic, what is generally called sentential , or propositional, logic.

A propositional content can have different focuses of sentence .

Set out from a problem, propositional person can alternate all sorts of titles.

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

What is Situation Model : Propositional Symbol or Perceptual Symbol ?

On the Propositional Basis of "Three Represents"

For the identity, we should study from two points: one is the propositional content of identity statements.

The first level is the level of propositional logic, the second level is the level of predicate logic or logic of class.

The certificate of Songwen even more proves that that light is not only particle but also wave is a dialectical thinking propositional form.

There are several kinds of logic: propositional logic, predicates of order 1 or more, epistemic, modal, temporal, fuzzy, etc.

Though truth is propositional, it is not only something to be believed, but also to be received in worship and practiced in wisdom.

A Tentative Study of the Components of Propositional Content and Its Directness

Construction propositional calculus and predicate calculus system, mathematical theorems derived from the logical axioms;

Application of Propositional Logic Calculation Method to the Multi-temporal Remote Sensing Monographic Interpretation

Digital Form of Logical Consequence Theory in Propositional Logic

The Computer Implementation of the Propositional Logic Equivalent Calculation

The planning of determinate action and state can be translate into classic propositional logic (SAT) to solve;

Item Order of Propositional Representation in Understanding Chinese Initiative and Passive Sentences

Propositional Countermeasures to Environmental Pollution of Textile Sizing Agent

Algebraic structure of the disturbing fuzzy propositional logic and the properties of its generalized tautology

Topology on the set of maximal consistent propositional theories and the Cantor ternary set

On the Truth Conditions of Sentences of Propositional Attitude

Probability Truth Degree of Intuitionistic Fuzzy Propositional Logic System

Improved similarity degree and pseudo-distance in a class of n-valued propositional logic

Principle of Direct-Proof Resolution for Automatic Propositional Logic Theorems Proving

Measure Propositional Reform in History Subject of Senior Middle School Under New Curriculum Standard

The Algebra and Generalized Tautology in Limited Disturbing Fuzzy Propositional Logic

Truth Degree of Intuitionistic Fuzzy Propositional Logic Formula

Automatic Generation and Formal Output of Special Normal Forms of Propositional Formulae

The Conditional Truth Degree of Formulas in Classical Propositional Logic

Universal Algorithm of Automatic Theorem Proving in Propositional Logic

Provable Degree of Formula on Theories in Propositional Fuzzy Logic Systems

Generalized Tautology in Fuzzy Modal Propositional Logic

The Simplicity of the Inference Rules in the Medium Propositional System MP

propositional logic - based method of liquid rocket engine fault diagnosis

extension principle of propositional logic

Off-line, propositional logic has been compiled into some tractable target language;

On Opposition Between Propositional Forms

the propositional content of a norm

Independent Problem of Inference Rules of Medium Propositional System MP

Approach to Formal Deduction of Propositional Logic

A propositional version with legislative reasons for civil code draft of China

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

Automated Reasoning Method Based on Path Searching for Lattice Propositional Logic Formulae

Application of Wu's Method in Propositional Calculus

The Semantic of Fuzzy Modal Propositional Logic

Graded Method in Propositional Logic

Syntactic System of Lattice-Valued Propositional Logic Based on Finite Lattice Implication Algebra

Semantic System of Lattice-Valued Propositional Logic Based on Finite Lattice Implication Algebra

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

Rules of Inference in Lattice-Valued Propositional Logic Lvpl

Formal Reasoning System Based on Fuzzy Propositional Modal Logic

Propositional Proof on Rank of Matrix

The Ordered Structure of Propositional Logic

A new graded method of propositional logic Ln