Data di Pubblicazione:
2023
Citazione:
Tractable depth-bounded approximations to FDE and its satellites / M. D’Agostino, A. Solares-Rojas. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - (2023), pp. 1-41. [Epub ahead of print] [10.1093/logcom/exad040]
Abstract:
FDE, LP and are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a generalized Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
Belnap-Dunn Logic; Logic of Paradox; Kleene's 3-valued logic; para consistency; tractability
Elenco autori:
M. D’Agostino, A. Solares-Rojas
Link alla scheda completa:
Link al Full Text: