Results

Publications

Articles

MÉNDEZ, ROBLES, G., SALTO, F., Ticket Entailment plus the mingle axiom has the variable-sharing property, Logic Journal of the IGPL, 20(1), 355-364, 2012.

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

MÉNDEZ J. M., ROBLES, G., SALTO, F., Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules, Logique et Analyse, 215, 343-358, 2011.

ROBLES, G., MÉNDEZ J. M., A class of simpler logical matrices for the variable-sharing property, Logic and Logical Philosophy Vol. 20 No. 3, 241–249, 2011.

ROBLES, G., MÉNDEZ J. M., A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism, Logic Journal of the IGPL 19(1): 18-32, 2011.

ROBLES, G., SALTO, F., MÉNDEZ, J. M., A weak logic with the axiom mingle lacking the variable-sharing property, Bulletin of the Section of Logic, 40/3-4, 195-202, 2011.

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

ROBLES, G., MÉNDEZ, J. M., Paraconsistent logics included in Lewis’ S4, Review of Symbolic Logic 3/3, 442-466, 2010.

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

ROBLES, G., MÉNDEZ, J. M., A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism, Journal of Philosophical Logic, 39, 139-158, 2010.

ROBLES, G., MÉNDEZ, J. M., SALTO, F., A modal restriction of R-Mingle with the variable-sharing property, Logic and Logical Philosophy, 19, 341-351, 2010.

MÉNDEZ, J. M., A Routley-Meyer semantics for Ackermann's logics of 'strenge Implikation', Logic and Logical Philosophy 18, 191-219, 2009.

ROBLES. G., Relevance logics and intuitionistic negation II. Negation introduced with the unary connective, Journal of Applied Non-Classical Logics 19/3, 317-388, 2009.

ROBLES, G., Weak consistency and strong paraconsistency, Triple C (Open Access Journal for a Global Sustainable Information Society), 7(2), 185-193, 2009.

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

ROBLES, G., MÉNDEZ, J. M., The Basic Constructive Logic for Weak Consistency and the Reductio Axioms, Bulletin of the Section of Logic, 38/1-2, 61-76, 2009.

Book chapters

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

Conference proceedings

MÉNDEZ, J. M., ROBLES, G., 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, M. Ponte, M. Vázquez), pp. 125-126, Puerto de la Cruz, October 2010, Universidad de La Laguna, ISBN: 978-84-614-4383-3.

ROBLES, G., 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, M. Ponte, M. Vázquez), pp. 147-148, Puerto de la Cruz, October 2010, Universidad de La Laguna, ISBN: 978-84-614-4383-3.

SALTO, F., Quantification does not involve identity, Actas del Sexto Congreso de la Sociedad Española de Filosofía Analítica, SEFA 2010 (Ed. A. Jaume, M. Liz, D. Pérez, M. Ponte, M. Vázquez), pp. 157-158, Puerto de la Cruz, October 2010, Universidad de La Laguna, ISBN: 978-84-614-4383-3.

Talks

MÉNDEZ, J. M., ROBLES, G., SALTO, F. On the variable-sharing property and the axiom mingle. 14th International Congress of Logic, Methodology and Philosophy of Science, Nancy, France, 19-26 July 2011.

ROBLES, G. The basic constructive logic for weak consistency in the ternary semantics with designated points. 14th International Congress of Logic, Methodology and Philosophy of Science, Nancy, France, 19-26 July 2011.

MÉNDEZ, J. M., ROBLES, G., SALTO, F. A general class of logical matrices for the variable-sharing property. ASL European Summer Meeting (Logic Colloquium 2011), Barcelona, Spain, 11-16 July 2011. Publication: (Abstract) Bulletin of Symbolic Logic, 18/3, p. 457, 2012.

ROBLES, G. Semantics for relevant logics including TWcr plus the disjunctive syllogism. ASL European Summer Meeting (Logic Colloquium 2011), Barcelona, Spain, 11-16 July 2011. Publication: (Abstract) Bulletin of Symbolic Logic, 18/3, pp. 461-462, 2012.

MÉNDEZ, J. M., ROBLES, G. La regla /delta, /pi^{prime} y E. Sexto Congreso de la Sociedad Española de Filosofía Analítica, SEFA 2010. Puerto de la Cruz, Tenerife, Spain, 14-16 October 2010.

ROBLES, G. La regla ECQ, el silogismo disyuntivo y las lógicas modales de Lewis. Sexto Congreso de la Sociedad Española de Filosofía Analítica, SEFA 2010. Puerto de la Cruz, Tenerife, Spain, 14-16 October 2010.

SALTO, F. Quantification does not involve identity. Sexto Congreso de la Sociedad Española de Filosofía Analítica, SEFA 2010. Puerto de la Cruz, Tenerife, España, 14-16 October 2010.

MÉNDEZ, J. M., ROBLES, G., SALTO, F. Relevance logics, variable-sharing property and the "mingle" axiom. (Presentado "by title"). ASL European Summer Meeting (Logic Colloquium 2010). Paris, France, 25-31 July 2010. Publication: (Abstract) Bulletin of Symbolic Logic, 17/2, p. 327, 2011.

ROBLES, G. The basic constructive logic for w-consistency in the ternary relational semantics with a set of designated points. (Presentado "by title"). ASL European Summer Meeting (Logic Colloquium 2010). Paris, France, 25-31 July 2010. Publication: (Abstract) Bulletin of Symbolic Logic, 17/2, p. 328, 2011.

MÉNDEZ, J. M., ROBLES, G., SALTO, F. Paraconsistent logics adequate to consistency understood as the absence of the negation of any implicative theorem. 3rd World Congress On Universal Logic (UNILOG 2010). Lisbon, Portugal, 22-25 April 2010.

ROBLES, G. Disjunctive Syllogism, Lewis' modal logics and paraconsistency. 3rd World Congress On Universal Logic (UNILOG 2010). Lisbon, Portugal, 22-25 April 2010.

MÉNDEZ, J. M., ROBLES, G., SALTO, F. Paraconsistency and consistency understood as the absence of the negation of any implicative theorem. ASL European Summer Meeting (Logic Colloquium 2009). Sofia, Bulgaria, 31 July-5 August 2009. Publication: (Abstract) Bulletin of Symbolic Logic 16/1, 127, 2010.

ROBLES, G. Paraconsistent logics included in Lewis' S4. ASL European Summer Meeting (Logic Colloquium 2009). Sofia, Bulgaria, 31 de July-5 August 2009. Publication: (Abstract) Bulletin of Symbolic Logic 16/1, 130-131, 2010.