Results

Publications

Books

ROBLES, G., MÉNDEZ, J. M., Routley-Meyer ternary relational semantics for intuitionistic-type negations, Elsevier, 2018, ISBN: 9780081007518.

Articles

ROBLES, G., "Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix", Logic Journal of the IGPL, 27(1), 69-92, https://doi.org/10.1093/jigpal/jzy019, 2019.

ROBLES, G., MÉNDEZ, J. M., "Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values", Journal of Applied Non-Classical Logics, 29(1), 37-63, https://doi.org/10.1080/11663081.2018.1534487, 2019.

ROBLES, G., MÉNDEZ, J. M., "Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value", Logic Journal of the IGPL, 27(6), 910-932, https://doi.org/10.1093/jigpal/jzz021, 2019.

ROBLES, G., SALTO, F., MÉNDEZ, J. M., "Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value", Journal of Applied Non-Classical Logics 29(3), 307-325, https://doi.org/10.1080/11663081.2019.1644079, 2019.

MÉNDEZ, J. M., ROBLES, G., "The logic determined by Smiley's matrix for Anderson and Belnap's First Degree Entailment Logic", Journal of Applied Non-Classical Logics, 26(1), 47-68, https://doi.org/10.1080/11663081.2016.1153930, 2016.

MÉNDEZ, J. M., ROBLES, G., "Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators", Journal of Logic, Language and Information, 25(2), 163-189, https://doi.org/10.1007/s10849-016-9237-8, 2016.

ROBLES, G., "The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property", Reports on Mathematical Logic, 51, 105-131, https://doi.org/10.4467/20842589RM.16.008.5285, 2016 (Free access).

ROBLES, G., MÉNDEZ, J. M., "A companion to Brady’s 4-valued relevant logic BN4: The 4-valued logic of entailment E4", Logic Journal of the IGPL, 24(5), 838-858, https://doi.org/10.1093/jigpal/jzw011, 2016.

ROBLES, G., BLANCO, J. M., LÓPEZ, S. M., PARADELA, J. R., RECIO, M. M., "Relational semantics for the 4-valued relevant logics BN4 and E4", Logic and Logical Philosophy, 25, 173-201, https://doi.org/10.12775/LLP.2016.006, 2016. (Open access).

ROBLES, G., LÓPEZ, S. M., BLANCO, J. M., RECIO, M. M., PARADELA, J. R., "A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4", Bulletin of the Section of Logic, 45(2), 93-109, http://dx.doi.org/10.18778/0138-0680.45.2.03, 2016. (Free access).

MÉNDEZ, J. M., ROBLES, G., "A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes", Logica Universalis, 9, 501-522, https://doi.org/10.1007/s11787-015-0130-z, 2015.

Talks

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "A basic dual intuitionistic logic", 6th World Congress on Universal Logic (UNILOG 2018), Vichy, France, 16-26 June, 2018. (Accepted)

ROBLES, G., "Expansions of relevance logics with a quasi-Boolean negation of intuitionistic character", 6th World Congress on Universal Logic (UNILOG 2018), Vichy, France, June 2018. (Accepted).

MÉNDEZ, J. M., ROBLES, G., LÓPEZ, S. M., RECIO, M. M., "Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix", ASL European Summer Meeting (Logic Colloquium 2017), Stockholm, Sweden, 14-20 August 2017. Publication: (Abstract) Bulletin of Symbolic Logic, 24(2), 255-256, 2018.

ROBLES, G., SALTO, F., BLANCO, J. M., "Routley-Meyer semantics for natural implicative expansions of Kleene’s strong three-valued matrix", ASL European Summer Meeting (Logic Colloquium 2017), Stockholm, Sweden, 14-20 August, 2017. Publication: (Abstract) Bulletin of Symbolic Logic, 24(2), 263, 2018.

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "An expansion of Brady’s logic BN4 with truth-functional modal operators", Modalities, Conditionals, and Values (A Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright), Helsinki, Finland, 23-25 May 2016.

ROBLES, G., "The 4-valued logic of entailment E4", Modalities, Conditionals, and Values (A Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright), Helsinki, Finland, 23-25 May 2016.

MÉNDEZ, J. M., ROBLES, G., SALTO, F., "Smiley’s matrix for Anderson and Belnap’s First Degree Entailment Logic", ASL European Summer Meeting (Logic Colloquium 2015), Helsinki, Finland, 3-8 August 2015. (Presentado "by title"). Publication: (abstract) Bulletin of Symbolic Logic, 22(3), 433-434.

ROBLES, G., "A 4-valued logic without Łukasiewicz type paradoxes", ASL European Summer Meeting (Logic Colloquium 2015), Helsinki, Finland, 3-8 August 2015. (Presentado "by title"). Publication: (Abstract) Bulletin of Symbolic Logic, 22(3), 434.

PhD thesis

Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz (An implicative expansion of Belnap's four-valued matrix: a four-valued modal logic lacking Łukasiewicz-type strong modal paradoxes). Author: José Miguel Blanco Sánchez. Supervisor: Gemma Robles Vázquez. Universidad de Salamanca, 2018. Calificación: Sobresaliente cum laude. DOI: 10.14201/gredos.139440. http://hdl.handle.net/10366/139440