Modal definability based on {L}ukasiewicz validity relations
classification
🧮 math.LO
keywords
definabilitymodalnotionsukasiewiczclassesequivalentextensionsfinitely
read the original abstract
We study two notions of definability for classes of relational structures based on modal extensions of {\L}ukasiewicz finitely valued-logics. The main results of the paper are the equivalent of the Goldblatt - Thomason theorem for these notions of definability.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.