|
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 |
|
2018 Conference Publication Saturated models in mathematical fuzzy logicBadia, Guillermo and Noguera, Carles (2018). Saturated models in mathematical fuzzy logic. 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), Linz, Austria, 16-18 May 2018. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ismvl.2018.00034 |
|
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. |
