Preservation Theorems for Many-Valued Logics via Categorical Methods
Talk, Logic, algebra and Truth Degrees - 2025, Siena, Italy
Presentation on using categorical methods to establish morphism preservation results for residuated lattice models.
Talks and presentations
Locality in Residuated Lattice Models
Talk, Australian Association of Logic Conference - 2024, Sydney, NSW, Australia
Presentation summarising investigation into status of classical locality theorems from Hanf and Gaifman to the residuated lattice setting.
Homomorphism Preservation in the Finite for Many-Valued Logics
Talk, 7th Australian Algebra Conference - 2023, Melbourne, Vic, Australia
Presentation on extension of Rossman's proof of a classical finite homomorphism preservation theorem to a wide collection of many-valued predicate logics. Also presented at AAL 2023, TACL 2024.
Hereditary Structural Completeness over K4
Talk, Topology, algebra and categories in Logic - 2022, Coimbra, Portugal
Presentation on investigation into hereditary structurally complete transitive modal logics via algebraic logic and duality. Also presented at LATD 2022, AAC 2022 and Logic Colloqium 2023.