Keyword:residuated lattice

Publications
Residuated Lattices, Regular Languages, and Burnside Problem Rostislav Horcik In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Reducts and Modal Operators on Residuated Lattices William Young In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Cayley and Holland Theorems for Residuated Lattices Nikolaos Galatos and Rostislav Horcik In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic