Spiru Haret University Dept. of Mathematics and Computer Science 13 Ion Ghica, Bucharest 3 ROMANIA;
University of Pitegti Dept. of Mathematics and Computer Science 1 Targu din Vale, Pitesti, Arges ROMANIA;
cognitive binary logic; inductive/deductive discourse; liar paradox; computational logic;
机译:Kurt G?Del在逻辑中的第一步:通过自然扣除系统进行算术和结构理论的正式证明
机译:DNA的离散生物化学:用于二进制加成的算术DNA分子,用于植物感测的自然发现的遗传逻辑电路和基于DNA的动画
机译:认知二元逻辑 - 命题二元逻辑的自然统一正式理论
机译:多值逻辑和二进制逻辑计算机系统的性能比较
机译:感知模型和电子鼻与模糊逻辑相结合的二元混合气气味强度测定
机译:基于代数传统的二元关系逻辑自然扣除系统