Graded tableaux for Rational Pavelka Logic

被引:4
|
作者
Di Lascio, L [1 ]
Gisolfi, A [1 ]
机构
[1] Univ Salerno, Dipartimento Matemat & Informat, I-84081 Baronissi, Italy
关键词
D O I
10.1002/int.20117
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this article, a sound and complete tableau system for Rational Pavelka Logic (RPL) is introduced. Extended formulas are used as the counterpart of the graded formulas. In this calculus, if we want to show that the graded formula (x, r) is tableau provable (in the finite fuzzy theory F, respectively), we develop a tableau for the extended formula [r, x] (for the set of extended formulas {[r,x],[x(1),a(1)],...,[x(n), a(n)]}, respectively). If this tableau closes we claim that (x, r) is tableau provable (in the fuzzy theory F, respectively). We claim also that x is valid at the degree equal to the l.u.b. that allows the closure of the tableaux. Our tableaux are a first step toward efficient procedures of automated deduction in narrow fuzzy logic with truth constants. (c) 2005 Wiley Periodicals, Inc.
引用
收藏
页码:1273 / 1285
页数:13
相关论文
共 50 条
  • [1] Algebraic logic for rational Pavelka predicate calculus
    Dragulici, D
    Georgescu, G
    MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (03) : 315 - 326
  • [2] Rational Pavelka predicate logic is a conservative extension of Lukasiewicz predicate logic
    Hájek, P
    Paris, J
    Shepherdson, J
    JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (02) : 669 - 682
  • [3] Rational Pavelka logic: The best among three worlds?
    Hanikova, Zuzana
    FUZZY SETS AND SYSTEMS, 2023, 456 : 92 - 106
  • [4] Term Models of Horn Clauses over Rational Pavelka Predicate Logic
    Costa, Vicent
    Dellunde, Pilar
    2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), 2017, : 112 - 117
  • [5] Perfect Pavelka Logic
    Turunen, Esko
    Navara, Mirko
    FUZZY SETS AND SYSTEMS, 2016, 292 : 396 - 410
  • [6] Infinitesimals and Pavelka logic
    Turunen, Esko
    Navara, Mirko
    PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY, 2015, 89 : 1027 - 1033
  • [7] ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic
    Nguyen, Linh Anh
    FUNDAMENTA INFORMATICAE, 2016, 147 (2-3) : 256 - 283
  • [8] Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
    Kaminski, Mark
    Schneider, Sigurd
    Smolka, Gert
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 235 - 249
  • [9] TERMINATING TABLEAUX FOR GRADED HYBRID LOGIC WITH GLOBAL MODALITIES AND ROLE HIERARCHIES
    Kaminski, Mark
    Schneider, Sigurd
    Smolka, Gert
    LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (01)
  • [10] A NOTE ON PAVELKA FUZZY-LOGIC
    TURUNEN, E
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (01): : 39 - 40