1 citations · 2 across the 5 of their papers we have counts for
5 papers
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…
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…
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…
Valuations in Nilpotent Minimum Logic
Pietro Codara, Diego Valota
The Euler characteristic can be defined as a special kind of valuation on finite distributive lattices. This work begins with some brief consideration on the role of the Euler char…
A note on drastic product logic
Stefano Aguzzoli, Matteo Bianchi, Diego Valota
The drastic product is known to be the smallest -norm, since whenever . This -norm is not left-continuous, and hence it does not admit a residuu…