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 条

[1] DYNAMICS OF CONTROL AND COMPUTATION CIRCUITS DESIGNED WITH AID OF EQUATIONS OF ALGEBRA OF LOGIC
ALEKSEEV, AS
POTAPOVSKAYA, TM
SMIRNOVA, LA
[J]. AUTOMATION AND REMOTE CONTROL, 1978, 39 (04) : 615 - 618
[2] BOOLEAN ALGEBRA OF LOGIC
HANF, W
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 81 (03) : 587 - 589
[3] A PERSPECTIVE ON THE ALGEBRA OF LOGIC
Raftery, J. G.
[J]. QUAESTIONES MATHEMATICAE, 2011, 34 (03) : 275 - 325
[4] Algebra of logic programming
Seres, S
Spivey, M
Hoare, T
[J]. LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 184 - 199
[5] Algebra and Logic in Granularity
Stell, John G.
[J]. RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023, 2023, 13896 : XIII - XIV
[6] THE ALGEBRA OF CONDITIONAL LOGIC
GUZMAN, F
SQUIER, CG
[J]. ALGEBRA UNIVERSALIS, 1990, 27 (01) : 88 - 110
[7] ON THE UNITY OF ALGEBRA AND LOGIC
LAMBEK, J
[J]. LECTURE NOTES IN MATHEMATICS, 1988, 1348 : 221 - 229
[8] UNIVERSAL LOGIC ALGEBRA
TISON, PL
[J]. SIAM REVIEW, 1971, 13 (02) : 284 - &
[9] SOLUTION AND APPLICATIONS OF SIMULTANEOUS-EQUATIONS IN A MULTI-VALUED LOGIC ALGEBRA SYSTEM
TAPIA, MA
[J]. INTERNATIONAL JOURNAL OF ELECTRONICS, 1989, 67 (05) : 717 - 725
[10] Localizations and Fractions in Algebra of Logic
Rudeanu, Sergiu
[J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2010, 16 (3-5) : 467 - 504

← 1 2 3 4 5 →