2 citations · 3 across the 4 of their papers we have counts for
Showing 2013 · math.LOShow all
2 papers · 2 filters
math.LO2013
Two principles in many-valued logic
Stefano Aguzzoli, Vincenzo Marra
Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, th…
math.LO2013★ 2 cited
MV-algebras freely generated by finite Kleene algebras
Stefano Aguzzoli, Leonardo M. Cabrer, Vincenzo Marra
If V and W are varieties of algebras such that any V-algebra A has a reduct U(A) in W, there is a forgetful functor U: V->W that acts by A |-> U(A) on objects, and identically on h…