| What is an inconsistent truth table? Z Weber, G Badia, P Girard Australasian Journal of Philosophy 94 (3), 533-548, 2016 | 26 | 2016 |
| Bi-simulating in bi-intuitionistic logic G Badia Studia Logica 104 (5), 1037-1050, 2016 | 5 | 2016 |
| Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic G Badia, V Costa, P Dellunde, C Noguera Soft computing 23 (7), 2177-2186, 2019 | 4 | 2019 |
| Fraïssé classes of graded relational structures G Badia, C Noguera Theoretical Computer Science 737, 81-90, 2018 | 4 | 2018 |
| Saturated Models in Mathematical Fuzzy Logic G Badia, C Noguera 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), 150-155, 2018 | 4 | 2018 |
| A General Omitting Types Theorem in Mathematical Fuzzy Logic G Badia, C Noguera IEEE Transactions on Fuzzy Systems, 2020 | 2 | 2020 |
| The relevant fragment of first order logic G Badia The Review of Symbolic Logic 9 (1), 143-166, 2016 | 2 | 2016 |
| Saturated models of first-order many-valued logics G Badia, C Noguera Logic Journal of the IGPL, 2020 | 1 | 2020 |
| The Flip Teaching as Tool to Improving Students’ Sustainable Learning Performance in a Financial Course P Bachiller, G Badía Sustainability 12 (23), 9998, 2020 | 1 | 2020 |
| A substructural logic for inconsistent mathematics G Badia, Z Weber Dialetheism and its Applications, 155-176, 2019 | 1 | 2019 |
| On Sahlqvist formulas in relevant logic G Badia Journal of philosophical logic 47 (4), 673-691, 2018 | 1 | 2018 |
| Currying Omnipotence: A Reply to Beall and Cotnoir A Tedder, G Badia Thought: A Journal of Philosophy 7 (2), 119-121, 2018 | 1 | 2018 |
| On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions G Badia, J Marcos Algebra universalis 79 (2), 41, 2018 | 1 | 2018 |
| A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics G Badia The Australasian Journal of Logic 14 (1), 2017 | 1 | 2017 |
| Bi-intuitionistic logic has Maksimova’s variable separation property G Badia Personal communication, 2015 | 1 | 2015 |
| A Lindström theorem in many-valued modal logic over a finite MTL-chain G Badia, G Olkhovikov Fuzzy Sets and Systems 388, 26-37, 2020 | | 2020 |
| How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem? G Badia, P Cintula, P Hajek, A Tedder Review of Symbolic Logic, 2020 | | 2020 |
| A Lindström theorem for intuitionistic propositional logic G Badia, G Olkhovikov Notre Dame Journal of Formal Logic 61 (1), 11-30, 2020 | | 2020 |
| Incompactness of the A1 Fragment of Basic Second Order Propositional Relevant Logic G Badia The Australasian Journal of Logic 16 (1), 1-8, 2019 | | 2019 |
| Preservation theorems in graded model theory G Badia, V Costa, P Dellunde, C Noguera SYSMICS2019, 26, 2019 | | 2019 |
Carles NogueraSenior researcher, Institute of Information Theory and Automation UTIA - Czech Academy of SciencesE-mail confirmado em utia.cas.cz
