Equations in the algebra of logic

被引：1
|
作者：
Rudeanu, S [1 ]
机构：
[1] Univ Bucharest, Fac Math, Bucharest, Romania
来源：
ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS | 2002年
关键词：
D O I：
10.1109/ISMVL.2002.1011062
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We survey the basic results in the theory of Boolean equations and the theory of equations in Post algebras. The two theories share four common features, which are analysed from the point of view of universal algebra; this yields further generalizations. Applications include a revision of Arystoteles' syllogistics and the study of Boolean analogues of modus ponens and the deduction theorem.
引用
收藏
页码：2 / 8
页数：7
相关论文
共 50 条
12345