Authors
Tommaso Flaminio
Serafina Lapenta
Sebastiano Napolitano
Date (dd-mm-yyyy)
2025-12
Title
Unimodular triangulations in Łukasiewicz logic
Subtitle
Complexity bounds of probabilistic coherence
Journal
International Journal of Approximate Reasoning
Volume
187
Publication Year
2025-12
Document type
Article
Abstract

A proof for the NP-containment for the probabilistic coherence problem over events represented by formulas of the infinite-valued Łukasiewicz logic was proposed in [1]. The geometric and combinatorial argument to prove that complexity bound contains a mistake that is fixed in the present paper. Actually we present two ways to restore that imprecise claim and, by doing so, we show that the main result of that paper is indeed valid.

URL
go to publisher's site
Permalink
https://hdl.handle.net/11245.1/6d7d555e-8726-40f9-a758-cf51b656aa35