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

被引：8
|
作者：
Baaz, M [1 ]
Preining, N [1 ]
Zach, R [1 ]
机构：
[1] Vienna Univ Technol, A-1040 Vienna, Austria
来源：
33RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/ISMVL.2003.1201403
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：175 / 180
页数：6
相关论文
共 50 条
  • [1] First-order Godel logics
    Baaz, Matthias
    Preining, Norbert
    Zach, Richard
    ANNALS OF PURE AND APPLIED LOGIC, 2007, 147 (1-2) : 23 - 47
  • [2] Compactness in first-order Godel logics
    Pourmahdian, Massoud
    Tavana, Nazanin R.
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (03) : 473 - 485
  • [3] Decidable fragments of first-order modal logics
    Wolter, F
    Zakharyaschev, M
    JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (03) : 1415 - 1438
  • [4] Decidable fragments of first-order temporal logics
    Hodkinson, I
    Wolter, F
    Zakharyaschev, M
    ANNALS OF PURE AND APPLIED LOGIC, 2000, 106 (1-3) : 85 - 134
  • [5] Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta
    Baaz, Matthias
    Preining, Norbert
    Zach, Richard
    ISMVL 2006: 36TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2006, : 56 - +
  • [6] First-order satisfiability in Godel logics: An NP-complete fragment
    Baaz, Matthias
    Ciabattoni, Agata
    Preining, Norbert
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (47) : 6612 - 6623
  • [7] Incompleteness of a first-order Godel logic and some temporal logics of programs
    Baaz, M
    Leitsch, A
    Zach, R
    COMPUTER SCIENCE LOGIC, 1996, 1092 : 1 - 15
  • [8] On the Existential Fragments of Local First-Order Logics with Data
    Bollig, Benedikt
    Sangnier, Arnaud
    Stietel, Olivier
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (370): : 1 - 16
  • [9] ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS
    Cintula, Petr
    Metcalfe, George
    Tokuda, Naomi
    BULLETIN OF SYMBOLIC LOGIC, 2024, 30 (02) : 253 - 278
  • [10] On the classification of first order Godel logics
    Baaz, Matthias
    Preining, Norbert
    ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (01) : 36 - 57
12345