profile picture

Guillermo Badia

University of Queensland
 More details
University of Otago
Department of Philosophy
PhD, 2017
Homepage
Brisbane, Queensland, Australia
0000-0002-5597-6794
Areas of Specialization
Logic and Philosophy of Logic
Philosophy of Mathematics
Areas of Interest
Logic and Philosophy of Logic
Philosophy of Mathematics
  • Model definability in relevant logic
    IfCoLog Journal of Logics and Their Applications 3 (4): 623-646. 2017.
    It is shown that the classes of Routley-Meyer models which are axiomatizable by a theory in a propositional relevant language with fusion and the Ackermann constant can be characterized by their closure under certain model-theoretic operations involving prime filter extensions, relevant directed bisimulations and disjoint unions.
    Relevance Logic