|
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. |
