Gemma Robles

Publicaciones - Publications

Artículos - Papers

Libros y capítulos de libro - Books and chapters of books

Actas - Proceedings of conferences

Reviews 

Our book Routley-Meyer ternary relational semantics for intuitionistic-type negations (Elsevier, 2018, ISBN: 9780081007518) has recently been released.

Artículos - Papers

J. M. Méndez, G. Robles, F. Salto, "Basic quasi-Boolean extensions of relevant logics", (abstract), Bulletin of Symbolic Logic (accepted).

J. M. Méndez, G. Robles, S. M. López, M. M. Recio, "Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix", (abstract), Bulletin of Symbolic Logic, 24(2), 255-256, 2018.

G. Robles, "Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix", Logic Journal of the IGPL, doi: 10.1093/jigpal/jzy019, 2018 (Advance article).

G. Robles, J. M. Méndez, "Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values", Journal of Applied Non-Classical Logics (accepted).

G. Robles, F. Salto, J. M. Blanco, "Routley-Meyer semantics for natural implicative expansions of Kleene’s strong three-valued matrix", (abstract), Bullletin of Symbolic Logic, 24(2), 263, 2018.

J. M. Méndez, G. Robles, "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, doi: 10.1080/11663081.2016.1153930, 2016. Manuscript. Final publication

J. M. Méndez, G. Robles, "Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators", Journal of Logic, Language and Infomation, 25(2), 163-189, doi: 10.1007/s10849-016-9237-8, 2016. Manuscript. Final publication. Free view-only version (SharedIt)

J. M. Méndez, G. Robles, F. Salto, "An interpretation of Łukasiewicz's 4-valued modal logic", Journal of Philosophical Logic, 45 (1), 73-87, doi: 10.1007/s10992-015-9362-x, 2016. Manuscript. Final publication. Free view-only version (SharedIt)

J. M. Méndez, G. Robles, F. Salto, "Smiley’s matrix for Anderson and Belnap’s First Degree Entailment Logic", (asbtract), Bulletin of Symbolic Logic, 22(3), 433-434, 2016.

G. Robles, "A 4-valued logic without Łukasiewicz type paradoxes", (asbtract), Bulletin of Symbolic Logic, 22(3), 434, 2016. 

G. Robles, "The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property", Reports on Mathematical Logic, 51, 105-131, 2016. Final published version (free access).

G. Robles, J. M. Méndez, "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, doi: 10.1093/jigpal/jzw011, 2016. Final publication.

G. Robles, J. M. Blanco, S. M. López, J. R. Paradela, M. M. Recio, "Relational semantics for the 4-valued relevant logics BN4 and E4", Logic and Logical Philosophy, 25, 173-201, doi: 10.12775/LLP.2016.006, 2016. Final published version (open access).

G. Robles, S. M. López, J. M. Blanco, M. M. Recio, J. R. Paradela, , "A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4 ", Bulletin of the Section of Logic, 45(2), 93-109, doi: http://dx.doi.org/10.18778/0138-0680.45.2.03, 2016. Final published version (free access).

J. M. Méndez, G. Robles, "A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes", Logica Universalis, 9 (4), 501-522, doi: 10.1007/s11787-015-0130-z, 2015. Manuscript. Final publication. Free view-only version (SharedIt)

J. M. Méndez, G. Robles, F. Salto, "Brady’s deep relevant logic DR plus the qualified factorization principles has the depth relevance condition", Logique et Analyse, 232, 547-565, doi: 10.2143/LEA.232.0.3144298, 2015. Manuscript. Final publication

J. M. Méndez, G. Robles, F. Salto, "Blocking the routes to triviality with depth relevance" (abstract), Bulletin of Symbolic Logic, 21 (1), 82, 2015.

G. Robles, "A Routley-Meyer semantics for Gödel 3-valued logic G3" (asbtract), Bulletin of Symbolic Logic, 21(1), 88-89, 2015.

G. Robles, J. M. Méndez, "A binary Routley semantics for intuitionistic De Morgan minimal logic H_{M} and its extensions", Logic Journal of the IGPL, 23 (2), 174-193, doi: 10.1093/jigpal/jzu029, 2015. Final publication.

J. M. Méndez, G. Robles, F. Salto, "Routes to triviality and depth relevance" (abstract), Bulletin of Symbolic Logic, 20 (2), 237, 2014.

G. Robles, "A simple Henkin-style completeness proof for Gödel 3-valued logic G3", Logic and Logical Philosophy, 23 (4), 371-390, DOI: 10.12775/LLP.2014.001, 2014. Final publication (open access).

G. Robles, "A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics", (abstract), Bulletin of Symbolic Logic, 20 (2), 241-242, 2014.

G. Robles, "Depth relevance and the contraction axiom" (abstract), Bulletin of Symbolic Logic, 20 (3), 408, 2014.

G. Robles, J. M. Méndez, "The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points", Journal of Applied Non-Classical Logics, 24 (4), 321-332, doi: 10.1080/11663081.2014.972306, 2014. Manuscript. Final publication.

G. Robles, J. M. Méndez, "Blocking the routes to triviality with depth relevance", Journal of Logic, Language and Information, 23 (4), 493-526, DOI: 10.1007/s10849-014-9199-7, 2014. Manuscript. Final publication. Free view-only version (SharedIt)

G. Robles, J. M. Méndez, "Generalizing the depth relevance condition. Deep relevant logics not included in R-Mingle", Notre Dame Journal of Formal Logic, 55 (1), 107-127, 2014. Manuscript. Final publication.

G. Robles, J. M. Méndez, "Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance", Studia Logica, 102 (1), 185-217, doi: 10.1007/s11225-013-9471-x, 2014. Manuscript. Final publication. Free view-only version (SharedIt)

G. Robles, J. M. Méndez, "A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics", Logic Journal of the IGPL, 22 (1), 1-23, doi: 10.1093/jigpal/jzt017, 2014. Final publication.

G. Robles, J. M. Méndez, "A paraconsistent 3-valued logic related to Gödel logic G3", Logic Journal of the IGPL, 22 (4): 515-538, doi: 10.1093/jigpal/jzt046, 2014. Final publication.

G. Robles, F. Salto, J. M. Méndez, "Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz’s 3-valued Logic Ł3", Journal of Philosophical Logic, 43 (2/3), pp. 303-332, doi: 10.1007/s10992-012-9264-0, 2014. Manuscript. Final publication. Free view-only version (SharedIt)

F. Salto, G. Robles, J. M. Méndez, "Strong relevant matrices" (abstract), Bulletin of Symbolic Logic, 20 (3), 408-409, 2014.

G. Robles, "A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart", Logica Universalis, 7 (4), 507-532, doi: 10.1007/s11787-013-0088-7, 2013. Manuscript. Final publication. Free view-only version (SharedIt)

G. Robles, "Admissibility of Ackermanns rule /delta in relevant logics", Logic and Logical Philosophy, 22 (4), 411–427, doi: 10.12775/LLP.2013.018, 2013. Final publication (open access).

J. M. Méndez, G. Robles, F. Salto, "Ticket Entailment plus the mingle axiom has the variable-sharing property", Logic Journal of the IGPL, 20(1), 355-364, 2012. Final publication.

J. M. Méndez, G. Robles, F. Salto, “A general class of logical matrices for the variable-sharing property” (abstract), Bulletin of Symbolic logic, 18/3, p. 457, 2012.

G. Robles, "Paraconsistency and consistency understood as the absence of the negation of any implicative theorem", Reports on Mathematical logic, 47, 147-171, 2012. Final publication (available for free on the journal's website).

G. Robles, "A semantical proof of the admissibility of the rule assertion in some relevant and modal logics", Bulletin of the Section of Logic, 41/1-2, pp. 51-60, 2012. Final publication (available for free on the journal's website).

G. Robles, “Semantics for relevant logics including TWcr plus the disjunctive syllogism” (abstract), Bulletin of Symbolic logic, 18/3, 461-462, 2012.

G. Robles, J. M. Méndez, "A general characterization of the variable-sharing property by means of logical matrices", Notre Dame Journal of Formal Logic, 53/2, pp. 223-244, 2012. Final publication.

J. M. Méndez, G, Robles, F. Salto, “Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules”, Logique et Analyse 215, 343-358, 2011. Final publication (open access by registering for free on the journal's site).

J. M. Méndez, G. Robles, F. Salto, "Relevance logic, variable sharing property and the mingle axiom" (abstract), Bulletin of Symbolic Logic, 17/2, p. 327, 2011.

G. Robles, "The basic constructive logic for w-consistency in the ternary relational semantics with a set of designated points", (abstract), Bulletin of Symbolic Logic, 17/2, p. 328, 2011.

G. Robles, J. M. Méndez, "A class of simpler logical matrices for the variable-sharing property", Logic and Logical Philosophy Vol. 20 No. 3, 241–249, 2011. Final publication (open access).

G. Robles, J. M. Méndez, "A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism", Logic Journal of the IGPL, 19(1): 18-32, 2011. Final publication.

G. Robles, F. Salto, J. M. Méndez, "A weak logic with the axiom mingle lacking the variable-sharing property”, Bulletin of the Section of Logic 40/3-4, 195-202, 2011. Final publication (available for free on the journal's website).

J. M. Méndez, G, Robles, F.Salto, "Paraconsistency and consistency understood as the absence of the negation of any implicative theorem" (abstract), Bulletin of Symbolic Logic, 16/1, 127, 2010.

G. Robles, "The non-involutive Routley star: relevant logics without weak double negation", Teorema XXIX/3, 103-116, 2010.

G. Robles, "Paraconsistent logics included in Lewis’ S4" (abstract), Bulletin of Symbolic Logic, 16/1, 130-131, 2010.

G. Robles, "Minimal non-relevant logics without the K axiom II. Negation introduced with the unary connective", Reports on Mathematical Logic, 45, 97-118, 2010. Final publication (available for free on the journal's website).

G. Robles, J. M. Méndez, "Paraconsistent logics included in Lewis’ S4", Review of Symbolic Logic 3/3, 442-466, 2010. Final publication.

G. Robles, J. M. Méndez, "Axiomatizing S4+ and J+ without the suffixing, Prefixing and self-distribution of the conditional axioms", Bulletin of the Section of Logic 39/1-2, 79-92, 2010. Final publication (available for free on the journal's website).

G. Robles, J. M. Méndez, "A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism", Journal of Philosophical Logic, 39, 139-158, 2010. Final publication.

G. Robles, J. M. Méndez, F. Salto, “A modal restriction of R-Mingle with the variable-sharing property”, Logic and Logical Philosophy, 19, 341-351, 2010. Final publication (open access).

J. M. Méndez, G. Robles, "The basic constructive logic for absolute consistency", Journal of Logic, Language and Information, 18/2, 199-216, 2009. Final publication.

J. M. Méndez, G. Robles, F. Salto, "Semantics for relevant logics plus the disjunctive syllogism" (abstract), Bulletin of Symbolic Logic, 15/1, 123-124, 2009.

G. Robles, “Relevance logics and intuitionistic negation II. Negation introduced with the unary connective”, Journal of Applied Non-Classical Logics 19/3, 371-388, 2009. Final publication.

G. Robles, "On some of the different faces of "das Absurde"" (abstract), Bulletin of Symbolic Logic, 15/1, 127-128, 2009.

G. Robles, "Weak consistency and strong paraconsistency", Triple C (Open Access Journal for a Global Sustainable Information Society), 7(2), 185-193, 2009. Final publication (available for free on the journal's website).

G. Robles, J. M. Méndez, "Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency", Journal of Logic, Language and Information, 18/3, 357-402, 2009. Final publication.

G. Robles, J. M. Méndez, "The Basic Constructive Logic for Weak Consistency and the Reductio Axioms", Bulletin of the Section of Logic, 38/1-2, 61-76, 2009. Final publication (available for free on the journal's website).

G. Robles, J. M. Méndez, The concept of strong F-paraconsistency (abstract), Bulletin of Symbolic Logic, 5/3, 375, 2009.

J. M. Méndez, G. Robles, "Relevance logics and intuitionistic negation", Journal of Applied Non-Classical Logics, 18/1, 49-65, 2008. Final publication.

G. Robles, "A note on the non-involutive Routley Star", Bulletin of the Section of Logic, 37/1, 19-27, 2008. Final publication (available for free on the journal's website).

G. Robles, "The Basic Constructive Logic for Absolute Consistency defined with a Falsity Constant", Logic Journal of the IGPL, 16/3, 275-291, 2008. Final publication.

G. Robles, "Extensions of the basic constructive logic for weak consistency B_{Kc1} defined with a falsity constant", Logic and Logical Philosophy, 16/4, 311-332, 2008. Final publication (open access).

G. Robles, "Extensions of the basic constructive logic for negation-consistency B_{Kc4} defined with a falsity constant", Logique et Analyse, 201, 57-80, 2008. Final publication (open access by registering for free on the journal's site).

G. Robles, "The Basic Constructive Logic for Negation-Consistency", Journal of Logic Language and Information, 17/2, 161-181, 2008. Final publication.

G. Robles, J. M. Méndez, "The basic constructive logic for a weak sense of consistency", Journal of Logic Language and Information, 17/1, 89-107, 2008. Final publication.

G. Robles, J. M. Méndez, "The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant", Logic Journal of the IGPL, 16/1, 33-41, 2008 . Final publication.

G. Robles, J. M. Méndez, "The concept of strong F-paraconsistency" (abstract), CLE e-prints, 8 (6), 1-3, 2008.

G. Robles, J. M. Méndez, F. Salto, "Relevance logics and intuitionistic negation" (abstract), Bulletin of Symbolic Logic 14/1, 147, 2008.

G. Robles, F. Salto, J. M. Méndez, "Exhaustively axiomatizing S3o-> and S4o->", Teorema XXVII/2, 79-89, 2008.

J. M. Méndez, G. Robles, F. Salto, "The basic constructive logic for negation-consistency defined with a propositional falsity constant", Bulletin of the Section of Logic 36/1-2, 45-58, 2007. Final publication (available for free on the journal's website).

J. M. Méndez, F. Salto, G.  Robles, "El sistema Bp+: una lógica positiva mínima para la negación mínima", Theoria 22/1, 81-91, 2007. Final publication (available for free on the journal's website).

G. Robles, J. M. Méndez, "Minimal non-relevant logics without the K axiom", Reports on Mathematical Logic, No. 42, 117-144, 2007. Final publication (available for free on the journal's website).

G. Robles, J. M. Méndez, F. Salto, "Relevance logics, paradoxes of consistency and the K rule" (abstract), Bulletin of Symbolic Logic 13 No. 2, 286, 2007.

G. Robles, J. M. Méndez, F. Salto, "Relevance logics, paradoxes of consistency and the K rule", Logique et Analyse 198, 129-145, 2007. Final publication (open access by registering for free on the journal's site).

J. M. Méndez, G. Robles, "Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation", Logic and Logical Philosophy 15, 175-191, 2006. Final publication (open access).

G. Robles, J. M. Méndez, "Converse Ackermann Property and constructive negation defined with a negation connective", Logic and Logical Philosophy 15, 113-130, 2006. Final publication (open access).

G. Robles, F. Salto,  J. M. Méndez, "A constructive negation defined with a negation connective for logics including Bp+ " (abstract), Bulletin of Symbolic Logic 12 No. 2, 344, 2006.

G. Robles, J. M. Méndez, "A constructive negation for logics including TW+". Journal of Applied Non-Classical Logics 15 No. 4, 389-404, 2005. Final publication.

G. Robles, J. M. Méndez, "Constructive negation defined with a falsity constant for positive logics with the CAP defined with a truth constant", Logique et Analyse 189-192, 87-100, 2005. Final publication (open access by registering for free on the journal's site).

G. Robles, J. M. Méndez, "Converse Ackermann Property and constructive negation defined with a negation connective" (abstract), Bulletin of Symbolic Logic 11 No.2, 292-293, 2005.

G. Robles, J. M. Méndez, "Two versions of minimal intuitionism with the CAP", Theoria 20 No. 2, 183-190, 2005. Final publication (available for free on the journal's website).

G. Robles, J. M. Méndez, "Relational ternary semantics for a logic equivalent to Involutive Monoidal t-norm based logic IMTL", Bulletin of the Section of Logic 34/2, 101-116, 2005. Final publication (available for free on the journal's website).

G. Robles, J. M. Méndez, "Converse Ackermann Property and minimal negation", Teorema 24/1, 5-12, 2005. 

G. Robles, J. M. Méndez, F. Salto, "Minimal negation in the ternary relational semantics", Reports on Mathematical Logic 39, 47-65, 2005. Final publication (available for free on the journal's website).

G. Robles, F. Salto,  J. M. Méndez, "A constructive negation defined with a negation connective for logics including Bp+". Bulletin of the Section of Logic 34/3, 177-190, 2005. Final publication (available for free on the journal's website).

G. Robles, J. M. Méndez, "The logic B and the reductio axioms", Bulletin of the Section of Logic 33/2, 87-94, 2004. Final publication (available for free on the journal's website).

G. Robles, J. M. Méndez, F. Salto, P. Méndez R., "Intuitionistic Propositional Logic with the Converse Ackermann Property", Teorema 2/1-2, 43-54, 2003.

J. M. Méndez, F. Salto, G. Robles, "Anderson and Belnap's Minimal Implicative Logic with Minimal Negation", Reports on Mathematical Logic 36, 117-130, 2002. Final publication (available for free on the journal's website).

G. Robles, J. M. Méndez, "Exhaustively Axiomatizing Eo-> and Ro->", Logical Studies 9, 1-10 2002.

F. Salto, G. Robles, J. M. Méndez, "Exhaustively Axiomatizing EMO->", Logical Studies 7, 1-6, 2001.

F. Salto, J. M. Méndez, G. Robles, "Restricting the Contraction Axiom in Dummett’s LC: LC with the Converse Ackermann Property", Bulletin of the Section of Logic 30/3, 139-146, 2001. Final publication (available for free on the journal's website).

 

Libros y capítulos de libro - Books and chapters of books

Libros - Books

G. Robles, J. M. Méndez, Routley-Meyer ternary relational semantics for intuitionistic-type negations, Elsevier, 2018, ISBN: 9780081007518.

G. Robles, J. M. Méndez, Consistencia débil y paraconsistencia fuerte. Publicaciones del GLF No. 1. ISBN: 978-84-692-0032-2. Salamanca, 2009.

G. Robles, Negaciones subintuicionistas para lógicas con la Conversa de la Propiedad Ackermann, Ediciones Universidad de Salamanca, ISBN: 84-7800-468-8, 2006.

G. Robles, Semántica relacional ternaria para lógicas positivas con la CAP, Área de Lógica y Fil. de la CC., ISBN: 84-689-0645-X, Salamanca, 2005.

 

Capítulos de libro - Chapters of books

G. Robles, J. M. Méndez, "On Defining Constructive Negation in Logics of Entailment", en Dimensions of Logical Concepts, (ed. por Jean-Yves Béziau y Alexandre Costa-Leite) Coleção CLE, volumen 54, UNICAMP, Campinas, Brazil. ISBN: 978-85-86497-05-6, 2009, 265-277.

J. M. Méndez, G. Robles, "Lógica de la Relevancia", en Filosofía de la Lógica (compilado por M. J. Frapolli), Tecnos, Madrid, 2007, 255-286.

G. Robles, "Conceptos fundamentales de la semántica relacional ternaria", en  Artículos de Segunda Mano (editado por José M. Méndez),  ISBN: 84-690-0408-5, Salamanca, 2006, 185-193.

G. Robles, "Traducción de la lógica KTC a MSL", en  Artículos de Segunda Mano (editado por José M. Méndez),  ISBN: 84-690-0408-5, Salamanca, 2006, 157-182.

 

Actas de congresos - Proceedings of congresses

J. M. Méndez, G. Robles, "La regla /delta, /pi^{prime} y E", Actas del Sexto Congreso de la Sociedad Española de Filosofía Analítica, SEFA 2010 (Ed. A. Jaume, M. Liz, D. Pérez Chico, M. Ponte, M. Vázquez), pp. 125-126, Puerto de la Cruz, octubre, 2010, Universidad de La Laguna, ISBN: 978-84-614-4383-3.

G. Robles, "La regla ECQ, el silogismo disyuntivo y las lógicas modales de Lewis", Actas del Sexto Congreso de la Sociedad Española de Filosofía Analítica, SEFA 2010 (Ed. A. Jaume, M. Liz, D. Pérez Chico, M. Ponte, M. Vázquez), pp. 147-148, Puerto de la Cruz, octubre, 2010, Universidad de La Laguna, ISBN: 978-84-614-4383-3.

G. Robles, "Weak consistency and srong paraconsistency", Actas del I Encuentro Internacional de Expertos en Teorías de la Información, Un Enfoque Interdisciplinar (Ed. J. M. Nafría, F. Salto), León, noviembre, 2008, Universidad de León, ISBN: 978-84-9773-451-6.

 

Recensiones - Reviews

Recensiones para Mathematical Reviews (reviews for Mathematical Reviews). Acceso mediante suscripción.

Recensiones para Zentralblatt Math (reviews for Zentralblatt Math).