Tableaux for Łukasiewicz Infinite-valued Logic

被引：13

作者：

Nicola Olivetti

机构：

[1] Università di Torino,Diparimento di Informatica

来源：

Studia Logica | 2003年 / 73卷 / 1期

关键词：

many-valued logic; tableau methods; labelled proof systems; linear programming;

D O I：

10.1023/A:1022989323091

中图分类号：

学科分类号：

摘要：

In this work we propose a labelled tableau method for Łukasiewicz infinite-valued logic Lω. The method is based on the Kripke semantics of this logic developed by Urquhart [25] and Scott [24]. On the one hand, our method falls under the general paradigm of labelled deduction [8] and it is rather close to the tableau systems for sub-structural logics proposed in [4]. On the other hand, it provides a CoNP decision procedure for Lω validity by reducing the check of branch closure to linear programming

引用

页码：81 / 111

页数：30

共 50 条

[41] INFINITE-VALUED ASYMPTOTIC POINTS AND KOEBE ARCS
NJASTAD, O
[J]. MATHEMATICA SCANDINAVICA, 1966, 19 (02) : 172 - &
[42] Extension of belief functions to infinite-valued events
Tomáš Kroupa
[J]. Soft Computing, 2012, 16 : 1851 - 1861
[43] Extension of belief functions to infinite-valued events
Kroupa, Tomas
[J]. SOFT COMPUTING, 2012, 16 (11) : 1851 - 1861
[44] Unification of Two Approaches to Quantum Logic: Every Birkhoff - von Neumann Quantum Logic is a Partial Infinite-Valued Lukasiewicz Logic
Pykacz, Jaroslaw
[J]. STUDIA LOGICA, 2010, 95 (1-2) : 5 - 20
[45] CALCULATION OF DYNAMIC PROCESSES IN DISCRETE AUTOMATA WITH UNCERTAIN PARAMETERS USING NONDETERMINISTIC INFINITE-VALUED LOGIC
LEVIN, VI
[J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1992, 28 (03) : 335 - 347
[46] An Infinite-Valued Grounded Labelling for Abstract Argumentation Frameworks
Alcantara, Joao
Sa, Samy
[J]. 33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 903 - 910
[47] THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS
Flaminio, Tommaso
[J]. REVIEW OF SYMBOLIC LOGIC, 2020, 13 (03): : 593 - 610
[48] On Łukasiewicz's four-valued modal logic
Font J.M.
Hájek P.
[J]. Studia Logica, 2002, 70 (2) : 157 - 182
[49] Resolution and model building in the infinite-valued calculus of Lukasiewicz
Mundici, D
Olivetti, N
[J]. THEORETICAL COMPUTER SCIENCE, 1998, 200 (1-2) : 335 - 366
[50] A novel way to build expert systems with infinite-valued attributes
Hernando, Antonio
Galan-Garcia, Jose Luis
Aguilera-Venegas, Gabriel
[J]. AIMS MATHEMATICS, 2024, 9 (02): : 2938 - 2963

← 1 2 3 4 5 →