Some varieties of equational logic

被引：0

|

作者：

Plotkin, Gordon ^{[1
]}

机构：

[1] Univ Edinburgh, LFCS, Sch Informat, Edinburgh EH8 9YL, Midlothian, Scotland

来源：

ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY | 2006年 / 4060卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：150 / 156

页数：7

相关论文

共 50 条

[1] EQUATIONAL BASES FOR SOME VARIETIES OF ORTHOMODULAR LATTICES RELATED TO STATES
MAYET, R
ALGEBRA UNIVERSALIS, 1986, 23 (02) : 167 - 195
[2] EQUATIONAL TYPE LOGIC
MANCA, V
SALIBRA, A
SCOLLO, G
THEORETICAL COMPUTER SCIENCE, 1990, 77 (1-2) : 131 - 159
[3] Nominal Equational Logic
Clouston, Ranald A.
Pitts, Andrew M.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 172 : 223 - 257
[4] Equational Coalgebraic Logic
Kurz, Alexander
Leal, Raul
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 333 - 356
[5] AN EQUATIONAL LOGIC SAMPLER
MCNULTY, GF
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 234 - 262
[6] Fuzzy equational logic
Bělohlávek R.
Archive for Mathematical Logic, 2002, 41 (1) : 83 - 90
[7] EQUATIONAL LOGIC - REPLY
CERNY, E
IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (01) : 102 - 103
[8] EQUATIONAL PROPOSITIONAL LOGIC
GRIES, D
SCHNEIDER, FB
INFORMATION PROCESSING LETTERS, 1995, 53 (03) : 145 - 152
[9] Fuzzy equational logic
Belohlávek, R
ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (01): : 83 - 90
[10] Equational spectrum of Hilbert varieties
Padmanabhan, R.
Rudeanu, Sergiu
CENTRAL EUROPEAN JOURNAL OF MATHEMATICS, 2009, 7 (01): : 66 - 72

← 1 2 3 4 5 →