Intuitionistic counterparts of finitely-valued logics

被引：3
|
作者：
Baaz, M [1 ]
Fermuller, CG [1 ]
机构：
[1] VIENNA TECH UNIV,INST ALGEBRA DISKRETE MATH,A-1040 VIENNA,AUSTRIA
来源：
1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/ISMVL.1996.508349
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：136 / 141
页数：6
相关论文
共 50 条
12345