In this article, a kind of calculus method that is used to determine the truth-values of a kind of lattice valued logic formulae by means of the dynamic neural networks is proposed.
提出一种利用神经逻辑单元动态地构造神经网络的算法来对一类格值逻辑系统(L4(X))中的逻辑公式进行计算。
validity of formula in fuzzy logic
模糊逻辑公式的有效性
The Study of the Integrated Resemblance Degrees and the Distance in the Propositional Logic Systems;
命题逻辑公式的相似度与距离之研究
Probability Truth Degree of Multi-valued Propositional Logic and Intuitionistic Fuzzy Propositional Logic System;
多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度
Similarity Degree, Pseudo-metric and Approximate Reasoning in Propositional Logic System;
命题逻辑公式集上的相似度、伪距离与近似推理
Syntactic Truth Degree of Formulas and Constructive Triple-I Algorithm;
逻辑公式的语构真度和构造性三I算法
Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;
一阶模糊谓词逻辑公式的可测集解释真度理论
Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas;
模糊谓词逻辑公式的有限和可数解释真度理论
Dynamic Neural Networks for a Kind of Lattice Valued Logic Formulae;
用于一类格值逻辑公式的动态神经网络
LIFT (Logically Integrated FORTRAN Translator)
逻辑集成公式翻译程序
Theory of Truth Degrees of Formulas in Lukasiewicz Propositional Logic and Logic Metric Spaces;
Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间
Probability Truth Degree of Two Fuzzy Propositional Logic Systems;
两种模糊命题逻辑的公式的概率真度
On Probability Truth Degree of Propositions in Two-valued Logic;
二值命题逻辑中公式的一种概率真度
Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证
Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.
法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。
Problem of MT in Classical Logical System (?) and Theory of Truth Degree of Formulas;
经典逻辑系统（？）中的MT问题及公式的真度理论
Analysis of Process Logical Paradigm in Public Service Government;
公共服务型政府的“过程逻辑范式”及其分析
Provable degree of formula on theories in the propositional fuzzy logic system Gd;
命题模糊逻辑系统Gd中公式的理论可证度
Absolute truth degree theory of formulas in n-valued Lukasiewicz propositional logic system;
n值Lukasiewicz命题逻辑系统中公式的绝对真度理论
