Gemma Robles

G. Robles. A connexive 4-valued implication expansion of Belnap-Dunn logic with the variable sharing property I. Australasian Association for Logic (AAL) 2024 Conference, University of Sydney, Sydney, New South Wales, Australia, 26-28 November, 2024. Publication (abstract): Bulletin of Symbolic Logic (forthcoming).

G. Robles. On acceptable connexive logics with the variable sharing property. Variable Sharing Properties and Their Discontents Workshop, Renssealer Polytechnic Institute, Troy, New York, 14-16 November, 2024. https://rairlab.github.io/vsp/

J. M. Méndez, G. Robles. Rules of proof, rules of inference, Ackermann’s γ and the logic B. ASL European Summer Meeting (Logic Colloquium 2024). Gothenburg, Sweden, 24-28 June, 2024. (Presented by title.) Publication (abstract): Bulletin of Symbolic Logic (forthcoming).

G. Robles. Ternary relational semantics for relevant logics including BM^{d} and included in R when supplemented with Disjunctive Syllogism. ASL European Summer Meeting (Logic Colloquium 2024). Gothenburg, Sweden, 24-28 June, 2024. (Presented by title.) Publication (abstract): Bulletin of Symbolic Logic (forthcoming).

G. Robles, J. M. Méndez. The lattice of all 4-valued C-extending implicative extensions of Belnap-Dunn logic containing Routley and Meyer's basic logic B^d. New Directions in Relevant Logic 2022, Online workshop (http://www.cs.cas.cz/ndr2022/), 10 and 18 November 2022.

G. Robles. The logic E-Mingle and its Routley-Meyer semantics. ASL European Summer Meeting (Logic Colloquium 2022), Reykjavik, Iceland, 27 June – 1 July, 2022. Publication (abstract): Bulletin of Symbolic Logic, 28(4), 599-600, 2022.

J. M. Méndez, G. Robles, F. Salto. A class of implicative expansions of Belnap-Dunn logic in whose elements a Boolean negation is definable. ASL European Summer Meeting (Logic Colloquium 2022), Reykjavik, Iceland, 27 June – 1 July, 2022. Publication (abstract): Bulletin of Symbolic Logic, 28(4), 596, 2022.

G. Robles. A variant with the variable-sharing property of Brady’s 4-valued implicative expansion BN4 of Anderson and Belnap’s logic FDE. 4th International Conference on Logic and Argumentation (CLAR 2021). Hangzhou, China, 20-22 October 2021.

G. Robles. Alternative semantical interpretations of the paraconsistent and paracomplete 4-valued logic PŁ4. ASL European Summer Meeting (Logic Colloquium 2021), Poznań, Poland, 19-24 July 2021. Publication (abstract): Bulletin of Symbolic Logic, 28(2), 313-314, 2022.

J. M. Méndez, G. Robles, F. Salto. Three-valued relevance logics. ASL European Summer Meeting (Logic Colloquium 2021), Poznań, Poland, 19-24 July 2021. Publication (abstract): Bulletin of Symbolic Logic, 28(2), 307-308, 2022.

G. Robles. Basic quasi-Boolean expansions of relevant logics with a negation of intuitionistic kind. 16th International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019), Prague, Czech Republic, 5-10 August 2019.

J. M. Méndez, G. Robles, F. Salto. Expansions of relevant logics with a dual intuitionistic type negation. 16th International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019), Prague, Czech Republic, 5-10 August 2019.

J. M. Méndez, G. Robles, F. Salto. Falsity constants for two independent families of quasi-Boolean logics. ASL European Summer Meeting (Logic Colloquium 2019), Prague, Czech Republic, 11-16 August 2019. Publication (abstract): Bulletin of Symbolic Logic, 25(4), 518-519, 2019.

G. Robles. Expansions of relevance logics with a quasi-Boolean negation of intuitionistic character. 6th World Congress on Universal Logic (Unilog 2018), Vichy, France, 16-26 June 2018.

J. M. Méndez, G. Robles, F. Salto. A basic dual intuitionistic logic. 6th World Congress on Universal Logic (Unilog 2018), Vichy, France, 16-26 June 2018.

J. M. Méndez, G. Robles, F. Salto. Basic quasi-Boolean extensions of relevant logics. ASL European Summer Meeting (Logic Colloquium 2018), Udine, Italy, 23-28 July 2018. Publication (abstract): Bulletin of Symbolic Logic, 25(2), 259, 2019.

G. Robles, F. Salto, J. M. Blanco. 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): Bullletin of Symbolic Logic, 24(2), 263, 2018.

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. ASL European Summer Meeting (Logic Colloquium 2017), Stockholm, Sweden, 14-20 August 2017. Publication (abstract): Bulletin of Symbolic Logic, 24(2), 255-256, 2018.

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

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

J. M. Méndez, G. Robles, F. Salto. 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. (Presented by title). Publication (abstract): Bulletin of Symbolic Logic, 22(3), 433-434, 2016.

G. Robles. A Routley-Meyer semantics for Gödel 3-valued logic G3. ASL European Summer Meeting (Logic Colloquium 2014), Vienna, Austria, 14-19 July 2014. Publication (abstract): Bulletin of Symbolic Logic, 21(1), 88-89, 2015.

J. M. Méndez, G. Robles, F. Salto. Blocking the routes to triviality with depth relevance. ASL European Summer Meeting (Logic Colloquium 2014), Vienna, Austria, 14-19 July 2014. Publication (abstract): Bulletin of Symbolic Logic, 21(1), 82, 2015.

G. Robles. A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics. ASL European Summer Meeting (Logic Colloquium 2013), Évora, Portugal, 22-27 July 2013. Publication (abstract): Bulletin of Symbolic Logic, 20(2), 241-242, 2014.

J. M. Méndez, G. Robles, F. Salto. Routes to triviality and depth relevance. ASL European Summer Meeting (Logic Colloquium 2013), Évora, Portugal, 22-27 July 2013. Publication (abstract): Bulletin of Symbolic Logic, 20(2), 237, 2014.

G. Robles. Las contradicciones desde el punto de vista lógico. Ciclo de Conferencias Ciencia y Cultura en la Facultad de Letras, Acciones de divulgación científica y cultural de la Facultad de Filosofía y Letras, Universidad de León, Spain, 23 May 2013.

G. Robles. A Routley-Meyer semantics for Łukasiewicz 3-valued logic Ł3. 23rd World Congress of Philosophy (WCP 2013), Athens, Greece, 4-10 August 2013.

F. Salto, G. Robles, J. M. Méndez. Curry’s Paradox, Generalized Contraction Rule and Depth Relevance. 23rd World Congress of Philosophy (WCP 2013), Athens, Greece, 4-10 August 2013.

G. Robles. Two-valued semantics for Łukasiewicz’s 3-valued logic Ł3. 8th Scandinavian Logic Symposium, Roskilde University, Denmark, 20-21 August 2012.

F. Salto, G. Robles, J. M. Méndez. Deep relevant logics not included in relevant logic R. 8th Scandinavian Logic Symposium, Roskilde University, Denmark, 20-21 August 2012.

G. Robles. Depth relevance and the contraction axiom. ASL European Summer Meeting (Logic Colloquium 2012), Manchester, UK, 12-18 July 2012. Publication (abstract): Bulletin of Symbolic Logic, 20(3), 408, 2014.

F. Salto, G. Robles, J. M. Méndez. Strong relevant matrices. ASL European Summer Meeting (Logic Colloquium 2012), Manchester, UK, 12-18 July 2012. Publication (abstract): Bulletin of Symbolic Logic, 20(3), 408-409, 2014.

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

J. M. Méndez, G. Robles, F. Salto. 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.

G. Robles. 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), 461-462, 2012.

J. M. Méndez, G. Robles, F. Salto. 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), 457, 2012.

G. Robles. La regla ECQ, el silogismo disyuntivo y las lógicas modales de Lewis. Sixth Conference of the Spanish Society for Analytic Philosophy, SEFA 2010, Puerto de la Cruz, Tenerife, Spain, 14-16 October 2010.

J. M. Méndez, G. Robles. La regla \delta, \pi^{prime} y E. Sixth Conference of the Spanish Society for Analytic Philosophy, SEFA 2010, Puerto de la Cruz, Tenerife, Spain, 14-16 October 2010.

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

J. M. Méndez, G. Robles, F. Salto.  Relevance logics, variable-sharing property and the "mingle" axiom. ASL European Summer Meeting (Logic Colloquium 2010), Paris, France, 25-31 July 2010. (Presented by tittle). Publication (abstract): Bulletin of Symbolic Logic, 17(2), p. 327, 2011.

G. Robles. Disjunctive Syllogism, Lewis’ modal logics and paraconsistency. 3rd World Congress on Universal Logic (Unilog 2010), Lisbon, Portugal, 22-25 April 2010.

J. M. Méndez, G. Robles, F. Salto. 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.

G. Robles. Paraconsistent logics included in Lewis’ S4. ASL European Summer Meeting (Logic Colloquium 2009), Sofía, Bulgaria, 31 July-5 August 2009. Publibcation (abstract): Bulletin of Symbolic Logic, 16(1), 130-131, 2010.

J. M. Méndez, G. Robles, F. Salto. Paraconsistency and consistency understood as the absence of the negation of any implicative theorem. ASL European Summer Meeting (Logic Colloquium 2009), Sofía, Bulgaria, 31 July-5 August, 2009. Publication (abstract): Bulletin of Symbolic Logic, 16(1), 127, 2010.

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

J. M. Méndez, G. Robles, F. Salto. Semantics for relevant logics plus the disjunctive syllogism. ASL European Summer Meeting (Logic Colloquium 2008),  Bern, Switzerlan, 3-8 July 2008. Publication (abstract): Bulletin of Symbolic Logic, 15(1), 123-124, 2009.

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

G. Robles, J. M. Méndez. The concept of strong F-paraconsistency. XIV SLALM (14th Latin-American Symposium on Mathematical Logic), Paraty, RJ, Brasil, 11-17 May 2008. (Presented by title). Publication (abstract): Bulletin of Symbolic Logic, 5(3), 375, 2009.

G. Robles, J. M. Méndez. The minimal constructive logic for a weak sense of consistency. 13th International Congress for Logic, Methodology and Philosophy of Science,  Beijing, China, 9-15 August 2007.

G. Robles, J. M. Méndez, F. Salto. The basic constructive logics for four different concepts of consistency. 2nd World Congress on Universal Logic, Xian, China, 20 - 22 August 2007.

G. Robles, J. M. Méndez, F. Salto. Relevance logics and intuitionistic negation. ASL European Summer Meeting (Logic Colloquium 2007), Wroclaw, Poland, 14-19 July 2007. Publication (abstract): Bulletin of Symbolic Logic, 14(1), 147, 2008.

G. Robles, J. M. Méndez, F. Salto. Relevance logics, paradoxes of consistency and the K rule. ASL European Summer Meeting (Logic Colloquium 2006), Radboud University Nijmegen, Nijmegen, Netherlands, 27 July - 2 August 2006. Publication (abstract): Bulletin of Symbolic Logic, 13(2), 286, 2007.

G. Robles, F. Salto, J. M. Méndez. A constructive negation defined with a negation connective for logics including Bp+. ASL European Summer Meeting (Logic Colloquium 2005),  Athenes, Greece, 28 July - 4 August 2005. Publication (abstract): Bulletin of Symbolic Logic, 12(2), 344, 2006.

G. Robles, J. M. Méndez. On definig constructive negation in logics of entailment. First World Congress on Universal Logic, Montreux, Switzerland, 26 March-3 April 2005.

J. M. Méndez, F. Salto, G. Robles. El sistema Bp+: una lógica positiva mínima para la negación mínima. Jornadas de Homenaje a Miguel Sánchez-Mazas, Madrid, Spain, 10-11 March 2005.

G. Robles, J. M. Méndez, F. Salto. Converse Ackermann Property and constructive negation defined with a negation connective. ASL European Summer Meeting (Logic Colloquium 2004), Turin, Italy, 25-31 July 2004. Publication (abstract): Bulletin of Symbolic Logic, 11(2), 292-293, 2005.

G. Robles. Conceptos fundamentales de la semántica relacional ternaria. Fundamentos y Aplicaciones de Semánticas Formales Relacionales, Universidad de León. León, Spain, 13 December 2004.