#### Info

UFRN's Monograph Digital Library (UFRN-MDL) version: v1.0
Signature of fragment $$\mathcal{B}_{\neg,\bot}$$ changed to $$\mathcal{B}_{\neg,\top}$$, with the axiomatization (wrong in the previous version) given by the fibring of $$\mathcal{B}_{\neg}$$ and $$\mathcal{B}_{\top}$$.