activity
20202023
most citedA simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics

3 citations · 7 across the 8 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…