activity
20132024
most citedSequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics

31 citations · 33 across the 9 of their papers we have counts for

collaborators
Showing math.CTShow all

1 paper · 1 filter

math.CT2022

A Category of Ordered Algebras Equivalent to the Category of Multialgebras

Marcelo E. Coniglio, Guilherme V. Toledo

It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (CABA's) taking a set to its power-set and, reciprocally, a complete, atomic Bool…