Compact propositional Godel logics

被引：25

作者：

Baaz, M ^{[1
]}

Zach, R ^{[1
]}

机构：

[1] Vienna Tech Univ, Inst Algebra & Diskrete Math E1182, A-1040 Vienna, Austria

来源：

1998 28TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - PROCEEDINGS | 1998年

关键词：

D O I：

10.1109/ISMVL.1998.679315

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Entailment in propositional Godel logics can be defined in a natural way: While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ; it is shown that there is a rich structure of infinite-valued Godel logics, only one of which is compact, it is also shown that The compact infinite-valued Godel logic is the only one which interpolates, and the only one with an r.e, entailment relation.

引用

页码：108 / 113

页数：6