Locality in Residuated Lattice Models
Date:
Presentation summarising investigation into status of classical locality theorems from Hanf and Gaifman to the residuated lattice setting.
Date:
Presentation summarising investigation into status of classical locality theorems from Hanf and Gaifman to the residuated lattice setting.