Results

Publications

Articles

ROBLES, G., Minimal non-relevant logics without the K axiom II. Negation introduced with the unary connective, Reports on Mathematical Logic, 45, 2010.

MÉNDEZ, J. M., ROBLES, G., The basic constructive logic for absolute consistency, Journal of Logic, Language and Information, 18/2, 199-216, 2009.

MÉNDEZ, J. M., ROBLES, G., Relevance logics and intuitionistic negation, Journal of Applied Non-Classical Logics, 18/1, 49-65, 2008.

ROBLES, G., A note on the non-involutive Routley Star, Bulletin of the Section of Logic, 37/1, 19-27, 2008.

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

ROBLES, G., 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.

ROBLES, G., Extensions of the basic constructive logic for negation-consistency B_{Kc4} defined with a falsity constant, Logique et Analyse, 201, 2008.

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

ROBLES, G., MÉNDEZ, J. M., The basic constructive logic for a weak sense of consistency, Journal of Logic Language and Information, 17/1, 89-107, 2008.

ROBLES, G., MÉNDEZ, J. M., 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.

ROBLES, G., SALTO, F., MÉNDEZ, J. M., Exhaustively axiomatizing S3o-> and S4o->, Teorema XXVII/2, 79-89, 2008.

MÉNDEZ, J. M., ROBLES, G., SALTO, F., 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.

MÉNDEZ, J. M., SALTO, F., ROBLES, G., El sistema Bp+: una lógica positiva mínima para la negación mínima, Theoria 58, 22/1, 81-91, 2007.

ROBLES, G., MÉNDEZ, J. M., Minimal non-relevant logics without the K axiom, Reports on Mathematical Logic, No. 42, 117-144, 2007.

ROBLES, G., MÉNDEZ, J. M., SALTO, F., Relevance logics, paradoxes of consistency and the K rule, Logique et Analyse 198, 129-145, 2007.

MÉNDEZ, J. M., ROBLES, G., Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation, Logic and Logical Philosophy 15, 175-191, 2006.

ROBLES, G., MÉNDEZ, J. M., Converse Ackermann Property and constructive negation defined with a negation connective, Logic and Logical Philosophy 15, 113-130, 2006.

ROBLES, G., SALTO, F., MÉNDEZ, J. M., A constructive negation defined with a negation connective for logics including Bp+ (abstract), Bulletin of Symbolic Logic 12 No. 2, 344, 2006

ROBLES, G., MÉNDEZ, J. M. A constructive negation for logics including TW+. Journal of Applied Non-Classical Logics 15 No. 4, 389-404, 2005.

Book chapters

MÉNDEZ, J. M., ROBLES, G., Lógica de la Relevancia, in Filosofía de la Lógica (compilado por M.J. Frapolli), Tecnos, Madrid, 2007, 255-286.

Conference proceedings

ROBLES, G., 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, Spain, November 2008, Universidad de León, ISBN: 978-84-9773-451-6.

Talks

MÉNDEZ, J. M., ROBLES, G., SALTO, F. Semantics for relevant logics plus the disjunctive syllogism. ASL European Summer Meeting (Logic Colloquium 2008). Bern, Switzerland, 3 - 8 July 2008. Publication: (Abstract) Bulletin of Symbolic Logic, 15/1, 123-124, 2009.

ROBLES, G. On some of the different faces of "Das Absurde". ASL European Summer Meeting (Logic Colloquium 2008). Bern, Switzerlan, 3 - 8 July 2008. Publication: (Abstract) Bulletin of Symbolic Logic, 15/1, 127-128, 2009.

ROBLES, G., MÉNDEZ, J. M. The concept of strong F-paraconsistency (Presentaded "by title"). XIV SLALM (14th Latin-American Symposium on Mathematical Logic), Paraty, RJ, Brazil, 11-17 May 2008. Publication: (Abstract) Bulletin of Symbolic Logic, 15/3, 375, 2009.

MÉNDEZ, J. M., ROBLES, G. The concept of strong paraconsistency. The Fourth World Congress of Paraconsistency. Melbourne, Australia, 13-18 July 2008. (Abstract accepted).

ROBLES, G. The basic constructive logic for an even weaker sense of consistency. The Fourth World Congress of Paraconsistency. Melbourne, Australia, 13-18 July 2008. (Abstract accepted).

ROBLES, G., Weak consistency and strong paraconsistency, I Encuentro Internacional de Expertos en Teorías de la Información, INTECO, León, Spain, 6, 7 November 2008.

ROBLES, G., MÉNDEZ, J. M., SALTO, F. Relevance logics and intuitionistic negation. ASL European Summer Meeting (Logic Colloquium 2007). Wroclaw, Polonia, 14 - 19 July 2007. Publication: (Abstract) Bulletin of Symbolic Logic, 14/1, 147, 2008.

ROBLES, G., MÉNDEZ, J. M., SALTO, F. The basic constructive logics for four different concepts of consistency. 2nd World Congress on Universal Logic. Xian, China, 20 - 22 August 2007.

ROBLES, G., MÉNDEZ, J. M. The minimal constructive logic for a weak sense of consistency. 13th International Congress for Logic, Methodology and Philosophy of Science. Pekín, China, 9 - 15 August 2007.

ROBLES, G., MÉNDEZ, J. M., SALTO, F. Relevance logics, paradoxes of consistency and the K rule. ASL European Summer Meeting (Logic Colloquium 2006). Radboud University Nijmegen, Nijmegen, Holanda, 27 July - 2 August 2006. Publication: (Abstract) Bulletin of Symbolic Logic 13 No. 2, 286, 2007.

PhD thesis

Negaciones subintuicionistas para lógicas con la Conversa de la Propiedad Ackermann (Subintuitionistic negations for logics with the Converse Ackermann Property). Author: Gemma Robles Vázquez. Supervisor: José Manuel Méndez Rodríguez. Calificación: Sobresaliente cum laude. Universidad de Salamanca, 2006. https://www.educacion.es/teseo/mostrarRef.do?ref=395307