先是参考宇井伯寿以传统逻辑来 看龙树的论证形式,然后吸收Robinson 与中村元的逻辑代数(algebra of logic) 法, 他们二人是源自欧洲的Boole - Schröder 的系统的。最后更补之以罗素的真值函蕴式 (material implication) 与C.
基于480个网页-相关网页
... 分式运算;分式代数 algebra of fraction 逻辑代数;逻辑运算 algebra of logic 矩阵代数;矩阵运算 algebra of matrices ...
基于12个网页-相关网页
Basic Theorems of Logic Algebra 逻辑函数的基本定理
algebra of two state logic 二值逻辑代数
boolean algebra of propositional logic 命题逻辑布尔代数
Basis of Logic Algebra 逻辑代数基础
algebra a of logic 逻辑代数
algebra of two-state logic [数] 二值逻辑代数
In this paper making use of Boolean logic algebra and logic circuit networks find dynamics transition of genetic regulatory from genetic regulatory Boolean networks.
为了重构基因调控网络,提出可以通过基因之间的布尔逻辑代数和逻辑电路网络得到基因调控的动态转换。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional logic, discusses its logic algebra and the properties of its generalized tautology.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发,讨论其逻辑代数及广义重言式的性质。
It was analyzed in detail about the way of fault diagnosis of the sensors of magnetic bearings in guidance with the multi-valued logic algebra.
分析了电磁轴承多传感器故障的基本特征,提出了电磁轴承多传感器故障诊断方法——基于序列变量的多值逻辑代数方法。
应用推荐