3 papers
math.LO2021
Counting finite linearly ordered involutive bisemilattices
Stefano Bonzio, Michele Pra Baldi, Diego Valota
The class of involutive bisemilattices plays the role of the algebraic counterpart of paraconsistent weak Kleene logic. Involutive bisemilattices can be represented as Plonka sums…
math.LO2020
The structure of finite commutative idempotent involutive residuated lattices
Peter Jipsen, Olim Tuyt, Diego Valota
We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introd…
cs.LO2015
Querying with Łukasiewicz logic
Stefano Aguzzoli, Pietro Codara, Tommaso Flaminio +2
In this paper we present, by way of case studies, a proof of concept, based on a prototype working on a automotive data set, aimed at showing the potential usefulness of using form…