A tableau calculus for Hajek's Logic BL

被引：2

作者：

Montagna, F ^{[1
]}

Pinna, GM ^{[1
]}

Tiezzi, EBP ^{[1
]}

机构：

[1] Univ Siena, Dipartimento Matemat, I-53100 Siena, Italy

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2003年 / 13卷 / 02期

关键词：

fuzzy logics; tableau calculus; proof systems;

D O I：

10.1093/logcom/13.2.241

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We introduce a tableau calculus for Hajek's Basic Logic BL. This calculus has many of the desirable properties of a proof system: it is cut-free, it has the subformula property. correctness of proof can be checked in P-time, and the number of symbols in any branch of the reduction tree of any sequent Gamma is polynomial in the number of symbols of Gamma. As a corollary we obtain an alternative proof of Co-NP completeness of BL.

引用

页码：241 / 259

页数：19

共 50 条

[1] Tableau Calculus for Basic Fuzzy Logic BL
Kulacka, Agnieszka
[J]. INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, PT I, 2014, 442 : 325 - 334
[2] A Kripke Semantics for Hajek's BL
Lewis-Smith, Andrew
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (381): : 20 - 31
[3] An analytic tableau calculus for a temporalised belief logic
Ma, Ji
Orgun, Mehmet A.
Adi, Kamel
[J]. JOURNAL OF APPLIED LOGIC, 2011, 9 (04) : 289 - 304
[4] An Axiomatic System and a Tableau Calculus for STIT Imagination Logic
Olkhovikov, Grigory K.
Wansing, Heinrich
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2018, 47 (02) : 259 - 279
[5] A Tableau Calculus for a Multi-modal Logic of Dishonesty
Pavlovic, Sanja
Tompits, Hans
[J]. AI*IA 2018 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11298 : 238 - 251
[6] An Axiomatic System and a Tableau Calculus for STIT Imagination Logic
Grigory K. Olkhovikov
Heinrich Wansing
[J]. Journal of Philosophical Logic, 2018, 47 : 259 - 279
[7] Monadic BL-algebras: The equivalent algebraic semantics of Hajek's monadic fuzzy logic
Castano, Diego
Cimadamore, Cecilia
Diaz Varela, Jose Patricio
Rueda, Laura
[J]. FUZZY SETS AND SYSTEMS, 2017, 320 : 40 - 59
[8] Standard completeness of Hajek basic logic and decompositions of BL-chains
Cignoli, R
Torrens, A
[J]. SOFT COMPUTING, 2005, 9 (12) : 862 - 868
[9] A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI
Khodadadi, Mohammad
Schmidt, Renate A.
Tishkovsky, Dmitry
[J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2013), 2013, 8123 : 188 - 202
[10] Rule-Based Visualization of Tableau Calculus for Propositional Logic
Sharaf, Nada
Abdennadher, Slim
Fruehwirth, Thom
[J]. 2018 22ND INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV), 2018, : 368 - 372

← 1 2 3 4 5 →