Locality in Residuated Lattice Structures
Carr, J. (2026). "Locality in Residuated Structures." Logical Methods in Computer Science (under review) 1. 1(1).
CV
Education
- Ph.D in Fintie Model Theory for Non-Classical Logics, University of Queensland, 2026 (expected)
- M.Sc. Logic, INstitute for Logic, Language & Computation, University of Amsterdam, 2022
- MA (Hons). Mathematics & Philosophy 1st Class, University of St Andrews, 2019
Work experience
- 20222-2026: Academic Tutor
- University of Queensland
- Duties includes: Individual &#amp; group teaching, writing tutorial & assessment material, student support
Publications
Homomorphism Preservation Theorems for Many-Valued Structures
Carr, J. (2026). "Homomorphism Preservation Theorems for Many-Valued Structures." ACM Transactions on Computational Logic (to appear). 1(1).
Hereditary Structural Completeness over K4: Rybakov's Theorem Revisited
Carr, James. (2022). "HSC over K4: Rybakov's Theorem Revisited." Institute of Logic, Language and Computation.
Talks
Preservation Theorems for Many-Valued Logics via Categorical Methods
Talk at Logic, algebra and Truth Degrees - 2025, Siena, Italy
Locality in Residuated Lattice Models
Talk at Australian Association of Logic Conference - 2024, Sydney, NSW, Australia
Homomorphism Preservation in the Finite for Many-Valued Logics
Talk at 7th Australian Algebra Conference - 2023, Melbourne, Vic, Australia
Hereditary Structural Completeness over K4
Talk at Topology, algebra and categories in Logic - 2022, Coimbra, Portugal
Teaching
Service and leadership
- Assisstent in conference organisation - Australian Association of Logic Conference 2023, 2025.