ON THE UNITY OF ALGEBRA AND LOGIC

被引：0

|

作者：

LAMBEK, J

机构：

来源：

LECTURE NOTES IN MATHEMATICS | 1988年 / 1348卷

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：221 / 229

页数：9

相关论文

共 50 条

[21] A logic of implications in algebra and coalgebra
Adamek, Jiri
Sobral, Manuela
Sousa, Lurdes
ALGEBRA UNIVERSALIS, 2009, 61 (3-4) : 313 - 337
[22] TOPOLOGY AND LOGIC AS A SOURCE OF ALGEBRA
MACLANE, S
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 82 (01) : 1 - 40
[23] THE ALGEBRA OF LOGIC AND THE THEORY OF DEDUCTION
LEBLANC, H
JOURNAL OF PHILOSOPHY, 1961, 58 (19): : 553 - 558
[24] COMPUTER ALGEBRA AND LOGIC PROGRAMMING
CHAR, B
INTEGRATION-THE VLSI JOURNAL, 1986, 4 (03) : 271 - 274
[25] On the way from logic to algebra
Ershov, Yu. L.
RUSSIAN MATHEMATICAL SURVEYS, 2010, 65 (05) : 937 - 949
[26] Characteristic functions and the algebra of logic
Whitney, H
ANNALS OF MATHEMATICS, 1933, 34 : 405 - 414
[27] A RELATIONAL ALGEBRA FOR PROPOSITIONAL LOGIC
BLANNING, RW
DECISION SUPPORT SYSTEMS, 1994, 11 (02) : 211 - 218
[28] Algebra and logic for access control
Collinson, Matthew
Pym, David
FORMAL ASPECTS OF COMPUTING, 2010, 22 (02) : 83 - 104
[29] THE PROBLEM OF ELIMINATION IN THE ALGEBRA OF LOGIC
GREEN, J
HISTORIA MATHEMATICA, 1985, 12 (04) : 380 - 380
[30] A logic of implications in algebra and coalgebra
Jiří Adámek
Manuela Sobral
Lurdes Sousa
Algebra universalis, 2009, 61

← 1 2 3 4 5 →