ALGEBRAIC AND GEOMETRIC LOGIC

被引：3

作者：

ELLINGSO.T ^{[1
]}

机构：

[1] UNIV WISCONSIN,MADISON,WI 53706

来源：

PHILOSOPHY EAST & WEST | 1974年 / 24卷 / 01期

关键词：

D O I：

10.2307/1397600

中图分类号：

C [社会科学总论];

学科分类号：

03 ; 0303 ;

摘要：

引用

页码：23 / 40

页数：18

共 50 条

[1] LOGIC AND ALGEBRAIC AND GEOMETRIC LOGIC - COMMENT
DAYE, DD
[J]. PHILOSOPHY EAST & WEST, 1975, 25 (03): : 357 - 364
[2] ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS
Plotkin, Boris
Aladova, Elena
Plotkin, Eugene
[J]. JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2013, 12 (02)
[3] Automating algebraic proofs in algebraic logic
Hsiang, Jieh
Wasilewska, Anita
[J]. Fundamenta Informaticae, 1996, 28 (1-2) : 129 - 140
[4] Algebraic and geometric lifting
Jha, Vikram
Johnson, Norman L.
[J]. NOTE DI MATEMATICA, 2007, 27 (01): : 85 - 101
[5] Geometric and algebraic combinatorics
van Dam, Edwin R.
Haemers, Willem H.
[J]. EUROPEAN JOURNAL OF COMBINATORICS, 2007, 28 (07) : 1877 - 1877
[6] A logic for algebraic effects
Plotkin, Gordon
Pretnar, Matija
[J]. TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 118 - 129
[7] FINITARY ALGEBRAIC LOGIC
MADDUX, RD
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (04): : 321 - 332
[8] Abstract algebraic logic
Pigozzi, D
[J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 8 - 16
[9] Algebraic Neighbourhood Logic
Hoefner, Peter
Moeller, Bernhard
[J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 76 (01): : 35 - 59
[10] Algebraic separation logic
Dang, H. -H.
Hoefner, P.
Moeller, B.
[J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (06): : 221 - 247