|
2020 Journal Article Saturated models in first-order many-valued logicsBadia, Guillermo and Noguera, Carles (2020). Saturated models in first-order many-valued logics. Logic Journal of the IGPL, 30 (1), 1-20. doi: 10.1093/jigpal/jzaa027 |
|
2020 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, 15 (2), 1-18. doi: 10.1017/S175502032000012X |
|
2020 Journal Article A Lindström Theorem in Many-Valued Modal Logic over a Finite MTL-chainBadia, Guillermo and Olkhovikov, Grigory (2020). A Lindström Theorem in Many-Valued Modal Logic over a Finite MTL-chain. Fuzzy Sets and Systems, 388, 26-37. doi: 10.1016/j.fss.2019.03.002 |
|
2020 Journal Article A Lindström theorem for intuitionistic propositional logicBadia, Guillermo and Olkhovikov, Grigory (2020). A Lindström theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 61 (1), 11-30. doi: 10.1215/00294527-2019-0030 |
|
2019 Journal Article Syntactic characterizations of classes of first-order structures in mathematical fuzzy logicBadia, Guillermo, Costa, Vicent, Dellunde, Pilar and Noguera, Carles (2019). Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic. Soft Computing, 23 (7), 2177-2186. doi: 10.1007/s00500-019-03850-6 |
|
2019 Journal Article Incompactness of the A1 fragment of basic second order propositional relevant logicBadia, Guillermo (2019). Incompactness of the A1 fragment of basic second order propositional relevant logic. Australasian Journal of Logic, 16 (1), 1-8. doi: 10.26686/ajl.v16i1.3925 |
|
2018 Journal Article Fraisse classes of graded relational structuresBadia, Guillermo and Noguera, Carles (2018). Fraisse classes of graded relational structures. Theoretical Computer Science, 737, 81-90. doi: 10.1016/j.tcs.2018.05.010 |
|
2018 Journal Article On Sahlqvist formulas in relevant logicBadia, Guillermo (2018). On Sahlqvist formulas in relevant logic. Journal of Philosophical Logic, 47 (4), 673-691. doi: 10.1007/s10992-017-9445-y |
|
2018 Journal Article On elimination of quantifiers in some non-classical mathematical theoriesBadia, Guillermo and Tedder, Andrew (2018). On elimination of quantifiers in some non-classical mathematical theories. Mathematical Logic Quarterly, 64 (3), 140-154. doi: 10.1002/malq.201600078 |
|
2018 Journal Article Currying omnipotence (a reply to Beall and Cotnoir)Tedder, Andrew and Badia, Guillermo (2018). Currying omnipotence (a reply to Beall and Cotnoir). Thought: A Journal of Philosophy, 7 (2), 119-121. doi: 10.1002/tht3.376 |
|
2018 Journal Article On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctionsBadia, 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 |
|
2018 Journal Article Variable sharing in substructural logics: an algebraic characterizationBadia, Guillermo (2018). Variable sharing in substructural logics: an algebraic characterization. Bulletin of the Section of Logic, 47 (2), 107-115. doi: 10.18778/0138-0680.47.2.03 |
|
2017 Journal Article Infinitary propositional relevant languages with absurdityBadia, Guillermo (2017). Infinitary propositional relevant languages with absurdity. Review of Symbolic Logic, 10 (4), 663-681. doi: 10.1017/S1755020317000132 |
|
2017 Journal Article Model definability in relevant logicBadia, Guillermo (2017). Model definability in relevant logic. The IfCoLog Journal of Logics and their Applications, 4 (3), 623-645. |
|
2017 Journal Article A remark on Maksimova's variable separation property in super-bi-intuitionistic logicsBadia, Guillermo (2017). A remark on Maksimova's variable separation property in super-bi-intuitionistic logics. Australasian Journal of Logic, 14 (1), 46-53. doi: 10.26686/ajl.v14i1.4027 |
|
2016 Journal Article Bi-simulating in bi-intuitionistic logicBadia, Guillermo (2016). Bi-simulating in bi-intuitionistic logic. Studia Logica, 104 (5), 1037-1050. doi: 10.1007/s11225-016-9664-1 |
|
2016 Journal Article A Lindström-style theorem for finitary propositional weak entailment languages with absurdityBadia, Guillermo (2016). A Lindström-style theorem for finitary propositional weak entailment languages with absurdity. Logic Journal of the IGPL, 24 (2), 115-137. doi: 10.1093/jigpal/jzv054 |
|
2016 Journal Article The relevant fragment of first order logicBadia, Guillermo (2016). The relevant fragment of first order logic. Review of Symbolic Logic, 9 (1), 143-166. doi: 10.1017/S1755020315000313 |
|
2016 Journal Article What is an inconsistent truth table?Weber, Zach, Badia, Guillermo and Girard, Patrick (2016). What is an inconsistent truth table?. Australasian Journal of Philosophy, 94 (3), 533-548. doi: 10.1080/00048402.2015.1093010 |
|
2013 Journal Article Possible worlds and paradoxes Mundos posibles y paradojasBadía, Guillermo (2013). Possible worlds and paradoxes Mundos posibles y paradojas. Arete, 25 (2), 219-229. |
