Info

UFRN's Monograph Digital Library (UFRN-MDL) version: v1.0
Click here to be redirected to the monograph's UFRN-MDL page.
Current version: v1.2
Click here to download the most recent version.

Updates

v1.2: 23/03/2020
Signature of fragment \( \mathcal{B}_{\neg,\bot} \) changed to \( \mathcal{B}_{\neg,\top} \), with the axiomatization (wrong in the previous version) given by the fribing of \( \mathcal{B}_{\neg} \) and \( \mathcal{B}_{\top} \).
v1.1: 11/03/2020
Added reference to this page.
v1.0: 22/11/2019
Thesis presentation.