Quantcast

Modal Definability Based on Łukasiewicz Validity Relations

Research paper by Bruno Teheux

Indexed on: 06 Jan '16Published on: 06 Jan '16Published in: Studia Logica



Abstract

We study two notions of definability for classes of relational structures based on modal extensions of Łukasiewicz finitely-valued logics. The main results of the paper are the equivalent of the Goldblatt-Thomason theorem for these notions of definability.