Home

Guillermo Badia
Guillermo Badia's picture

PhD, University of Otago, New Zealand (2013-2017)

guillermo.badia_hernandez@jku.at JKU

My research is focused on the semantical analysis of substructural logics and theories in the non-classical languages of these logics. My main areas of interest are the following:
 

  • Model theory of  substructural logics (in particular, the study of semantical properties of logics interpreted on  residuated lattices as well as relational structures such as relevance logics, superintuitionistic logics and fuzzy logics).
  • Mathematics developed against  a substructural  logical background.

Here is my website (with a full CV including publications, etc.): https://sites.google.com/site/guillermobadialogic/home