Preservation Theorems for Many-Valued Logics via Categorical Methods
Date:
Presentation on using categorical methods to establish morphism preservation results for residuated lattice models.
Date:
Presentation on using categorical methods to establish morphism preservation results for residuated lattice models.