Some Categorical Equivalences for Nelson Algebras with Consistency Operators.

Francesc Esteva, Aldo Figallo Orellano, Tommaso Flaminio, Llus Godo

Browse the full EUSFLAT paper archive.