Characterization of the axiomatizable prenex fragments of first-order godel logics

33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. Pub Date : 2003-03-02 DOI:10.1109/ISMVL.2003.1201403

M. Baaz, N. Preining, R. Zach

引用次数: 14

Abstract

The prenex fragments of first-order infinite-valued Godel logics are classified. It is shown that the prenex Godel logics characterized by finite and by uncountable subsets of [0, 1] are axiomatizable, and that the prenex fragments of all countably infinite Godel logics are not axiomatizable.

查看原文本刊更多论文

一阶哥德逻辑的公理化前缀片段的表征

对一阶无限值哥德尔逻辑的前缀片段进行了分类。证明了以[0,1]的有限和不可数子集为特征的前导哥德尔逻辑是公理化的，而所有可数无限哥德尔逻辑的前导片段都是不可公理化的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.

自引率

0.00%

发文量