Hilbert-style formalism for two-dimensional notions of consequence

Information and Updates related to my Master's thesis

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.1
Click here to download the most recent version.

Updates

VCLA 2023
Thesis awarded with the second place in the VCLA Outstanding Master Thesis Award.