Published in Logical Methods in Computer Science, 2026
We study the extent to which the classical locality theorems from Hanf and Gaifman hold true in the residuated lattice setting
Recommended citation: Carr, J. (2026). "Locality in Residuated Structures." Logical Methods in Computer Science (under review) 1. 1(1).
Download Paper | Download Bibtex
Published in ACM Transactions on Computational Logic, 2026
We show how one can extend Rossman's proof of a finite homomorphism preservation theorem to a wide collection of many-valued predicate logics
Recommended citation: Carr, J. (2026). "Homomorphism Preservation Theorems for Many-Valued Structures." ACM Transactions on Computational Logic (to appear). 1(1).
Download Paper | Arxiv Link | Download Bibtex
Published in Master of Logic Institute of Logic, Language and Computation, 2022
Investigation into hereditary structurally complete transitive modal logics via algebraic logic and duality
Recommended citation: Carr, James. (2022). "HSC over K4: Rybakov's Theorem Revisited." Institute of Logic, Language and Computation.
Download Paper