1 citations · 2 across the 5 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
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…
math.LO2014
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…