Goldblatt-Thomason for LE-logics
Logic
2018-09-24 v1
Abstract
We prove a uniform version of the Goldblatt-Thomason theorem for logics algebraically captured by normal lattice expansions (normal LE-logics).
Cite
@article{arxiv.1809.08225,
title = {Goldblatt-Thomason for LE-logics},
author = {Willem Conradie and Alessandra Palmigiano and Apostolos Tzimoulis},
journal= {arXiv preprint arXiv:1809.08225},
year = {2018}
}