2 papers
math.LO2026
Recovery operators in quasi-Nelson logic: the prelinear case
Tommaso Flaminio, Lluis Godo, Umberto Rivieccio
This paper investigates recovery operators in quasi-Nelson logic, the algebraizable logical counterpart of quasi-Nelson algebras. These form a variety of three-potent, distributive…
cs.LO2026
Probabilistic Abduction in a Fuzzy Logic Framework
Tommaso Flaminio, Katsumi Inoue, Daniil Kozhemiachenko
We study the problem of explaining observations about the probabilities of events, such as "it rains of the time", "rain and snow are equally likely", etc. We explain these…