• The languages of relevant logic: a model-theoretic perspective 

    Badia Hernandez, Guillermo
    A traditional aspect of model theory has been the interplay between formal languages and mathematical structures (hence Chang and Keisler's famous equation "model theory = universal algebra + logic"). This dissertation is ...