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 fibring 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.