Degree-preserving companion of Nelson logic expanded with a consistency operator

Francesc Esteva, Aldo Figallo Orellano, Tommaso Flaminio, Lluís Godo
2020 Anais do Workshop Brasileiro de Lógica (WBL 2020)   unpublished
The main aim of this paper is defining a Logic of Formal Inconsistency over the degree-preserving companion of Nelson logic with a consistency operator. In this sense, we present a quasivariety of Nelson lattices enriched with a suitable consistency operator and axiomatise the corresponding logic. As main results we present necessary and sufficient conditions to prove a categorial equivalence for the category for Nelson lattices with a consistency operator.
doi:10.5753/wbl.2020.11457 fatcat:ttqsbrz5zvcnbhod5sy4vlzhaq