Dr Guillermo Badia

Researcher Interests

1. Many-valued logics and related algebras: fuzzy logics, residuated lattices, model theory of fuzzy logics

2. Computational logic: modal logic, hybrid logic, weighted logic

3. Substructural logics: intuitionistic logic, relevant logic, bi-intuitionistic logic

Qualifications

• Doctor of Philosophy, University of Otago

Publications

• Journal Article: Lindström theorems in graded model theory
  • Badia, Guillermo and Noguera, Carles (2021). Lindström theorems in graded model theory. Annals of Pure and Applied Logic, 172 (3) 102916, 102916. doi: 10.1016/j.apal.2020.102916
• Journal Article: A general omitting types theorem in mathematical fuzzy logic
  • Badia, Guillermo and Noguera, Carles (2020). A general omitting types theorem in mathematical fuzzy logic. IEEE Transactions on Fuzzy Systems, 1. doi: 10.1109/TFUZZ.2020.2975146
• Journal Article: How much propositional logic suffices for Rosser’s essential undecidability theorem?
  • Badia, Guillermo, Cintula, Petr, Hajek, Petr and Tedder, Andrew (2020). How much propositional logic suffices for Rosser’s essential undecidability theorem?. Review of Symbolic Logic, 1-17. doi: 10.1017/S175502032000012X
• Journal Article: On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
  • Badia, Guillermo and Marcos, Joao (2018). On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions. Algebra Universalis, 79 (2) 41, 41. doi: 10.1007/s00012-018-0522-z

          View all Publications