Gemma Robles

21 articles in 2 journals

ARTICLE TITLE YEAR AUTHORS ACTIONS

A Note on the Non-Involutive Routley Star Published in: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 1 / p. 19 - 27

2008

Gemma Robles

Plain Text
Gemma Robles, A Note on the Non-Involutive Routley Star, Bulletin of the Section of Logic, 2008 / Tom 37 / Numer 1, s. 19 - 27

BIBTEX
@Article{ authors = " Gemma Robles", title = "A Note on the Non-Involutive Routley Star", journal = "Bulletin of the Section of Logic", issue = "2008 / Tom 37 / Numer 1", pages = "19 - 27" }
The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant Published in: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / p. 45 - 57

2007

Jose M. Mendez Gemma Robles Francisco Salto

Plain Text
Jose M. Mendez, Gemma Robles, Francisco Salto, The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 45 - 57

BIBTEX
@Article{ authors = " Jose M. Mendez, Gemma Robles, Francisco Salto", title = "The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "45 - 57" }
A Semantical Proof of the Admissibility of the Rule Assertion in Some Relevant and Modal Logics Published in: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 1-2 / p. 51 - 60

2012

Gemma Robles

Plain Text
Gemma Robles, A Semantical Proof of the Admissibility of the Rule Assertion in Some Relevant and Modal Logics, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 51 - 60

BIBTEX
@Article{ authors = " Gemma Robles", title = "A Semantical Proof of the Admissibility of the Rule Assertion in Some Relevant and Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "51 - 60" }
The Basic Constructive Logic for Weak Consistency and the Reductio Axioms Published in: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / p. 61 - 76

2009

Jose M. Mendez Gemma Robles

Plain Text
Jose M. Mendez, Gemma Robles, The Basic Constructive Logic for Weak Consistency and the Reductio Axioms, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 61 - 76

BIBTEX
@Article{ authors = " Jose M. Mendez, Gemma Robles", title = "The Basic Constructive Logic for Weak Consistency and the Reductio Axioms", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "61 - 76" }
AxiomatizingS4+ and J+ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms Published in: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 1-2 / p. 79 - 91

2010

Jose M. Mendez Gemma Robles

Plain Text
Jose M. Mendez, Gemma Robles, AxiomatizingS4+ and J+ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 79 - 91

BIBTEX
@Article{ authors = " Jose M. Mendez, Gemma Robles", title = "AxiomatizingS4+ and J+ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "79 - 91" }
The Logic B and the Reductio Axioms Published in: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 2 / p. 87 - 94

2004

Jose M. Mendez Gemma Robles

Plain Text
Jose M. Mendez, Gemma Robles, The Logic B and the Reductio Axioms, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 2, s. 87 - 94

BIBTEX
@Article{ authors = " Jose M. Mendez, Gemma Robles", title = "The Logic B and the Reductio Axioms", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 2", pages = "87 - 94" }
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4 Published in: Bulletin of the Section of Logic 2016 / Tom 45 / Numer 2 / p. 93 - 110

2016

J.M. Blanco S.M. Lopez J.R. Paradela M.M. Recio Gemma Robles

Plain Text
J.M. Blanco, S.M. Lopez, J.R. Paradela, M.M. Recio, Gemma Robles, A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 2, s. 93 - 110

BIBTEX
@Article{ authors = " J.M. Blanco, S.M. Lopez, J.R. Paradela, M.M. Recio, Gemma Robles", title = "A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 2", pages = "93 - 110" }
Relational Ternary Semantics for a Logic Equivalent to Involutive Mondial t-norm Based Logic IMTL Published in: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 2 / p. 101 - 116

2005

Jose M. Mendez Gemma Robles

Plain Text
Jose M. Mendez, Gemma Robles, Relational Ternary Semantics for a Logic Equivalent to Involutive Mondial t-norm Based Logic IMTL, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 2, s. 101 - 116

BIBTEX
@Article{ authors = " Jose M. Mendez, Gemma Robles", title = "Relational Ternary Semantics for a Logic Equivalent to Involutive Mondial t-norm Based Logic IMTL", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 2", pages = "101 - 116" }
Converse Ackermann property and constructive negation defined with a negation connective Published in: Logic and Logical Philosophy 2006 / Tom 15 / Numer 2 / p. 113 - 130

2006

José M. Méndez Gemma Robles

Plain Text
José M. Méndez, Gemma Robles, Converse Ackermann property and constructive negation defined with a negation connective, Logic and Logical Philosophy, 2006 / Tom 15 / Numer 2, s. 113 - 130

BIBTEX
@Article{ authors = " José M. Méndez, Gemma Robles", title = "Converse Ackermann property and constructive negation defined with a negation connective", journal = "Logic and Logical Philosophy", issue = "2006 / Tom 15 / Numer 2", pages = "113 - 130" }
Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property Published in: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 3 / p. 139 - 146

2001

Jose M. Mendez Gemma Robles Francisco Salto

Plain Text
Jose M. Mendez, Gemma Robles, Francisco Salto, Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 3, s. 139 - 146

BIBTEX
@Article{ authors = " Jose M. Mendez, Gemma Robles, Francisco Salto", title = "Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 3", pages = "139 - 146" }
Relevance logics, paradoxes of consistency and the K rule II : A non-constructive negation Published in: Logic and Logical Philosophy 2006 / Tom 15 / Numer 3 / p. 175 - 191

2006

José M. Méndez Gemma Robles

Plain Text
José M. Méndez, Gemma Robles, Relevance logics, paradoxes of consistency and the K rule II : A non-constructive negation, Logic and Logical Philosophy, 2006 / Tom 15 / Numer 3, s. 175 - 191

BIBTEX
@Article{ authors = " José M. Méndez, Gemma Robles", title = "Relevance logics, paradoxes of consistency and the K rule II : A non-constructive negation", journal = "Logic and Logical Philosophy", issue = "2006 / Tom 15 / Numer 3", pages = "175 - 191" }
A Constructive Negation Defined with aNegation Connective for Logics Including Bp+ Published in: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 3 / p. 177 - 189

2005

Jose M. Mendez Gemma Robles Francisco Salto

Plain Text
Jose M. Mendez, Gemma Robles, Francisco Salto, A Constructive Negation Defined with aNegation Connective for Logics Including Bp+, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 177 - 189

BIBTEX
@Article{ authors = " Jose M. Mendez, Gemma Robles, Francisco Salto", title = "A Constructive Negation Defined with aNegation Connective for Logics Including Bp+", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 3", pages = "177 - 189" }
A Weak Logic with the Axiom Mingle Lacking theVariable-Sharing Property Published in: Bulletin of the Section of Logic 2011 / Tom 40 / Numer 3-4 / p. 195 - 202

2011

Jose M. Mendez Gemma Robles Francisco Salto

Plain Text
Jose M. Mendez, Gemma Robles, Francisco Salto, A Weak Logic with the Axiom Mingle Lacking theVariable-Sharing Property, Bulletin of the Section of Logic, 2011 / Tom 40 / Numer 3-4, s. 195 - 202

BIBTEX
@Article{ authors = " Jose M. Mendez, Gemma Robles, Francisco Salto", title = "A Weak Logic with the Axiom Mingle Lacking theVariable-Sharing Property", journal = "Bulletin of the Section of Logic", issue = "2011 / Tom 40 / Numer 3-4", pages = "195 - 202" }
Exhaustively axiomatizing RMO-> with a select list of representative theses including restricted mingle principles Published in: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 4 / p. 195 - 206

1999

Jose M. Mendez Gemma Robles Francisco Salto

Plain Text
Jose M. Mendez, Gemma Robles, Francisco Salto, Exhaustively axiomatizing RMO-> with a select list of representative theses including restricted mingle principles, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 4, s. 195 - 206

BIBTEX
@Article{ authors = " Jose M. Mendez, Gemma Robles, Francisco Salto", title = "Exhaustively axiomatizing RMO-> with a select list of representative theses including restricted mingle principles", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 4", pages = "195 - 206" }
A class of simpler logical matrices for the variable-sharing property Published in: Logic and Logical Philosophy 2011 / Tom 20 / Numer 3 / p. 241 - 249

2011

José M. Méndez Gemma Robles

Plain Text
José M. Méndez, Gemma Robles, A class of simpler logical matrices for the variable-sharing property, Logic and Logical Philosophy, 2011 / Tom 20 / Numer 3, s. 241 - 249

BIBTEX
@Article{ authors = " José M. Méndez, Gemma Robles", title = "A class of simpler logical matrices for the variable-sharing property", journal = "Logic and Logical Philosophy", issue = "2011 / Tom 20 / Numer 3", pages = "241 - 249" }
A class of simpler logical matrices for the variable-sharing property Published in: Logic and Logical Philosophy 2011 / Tom 20 / Numer 3 / p. 241 - 249

2011

José M. Méndez Gemma Robles

Plain Text
José M. Méndez, Gemma Robles, A class of simpler logical matrices for the variable-sharing property, Logic and Logical Philosophy, 2011 / Tom 20 / Numer 3, s. 241 - 249

BIBTEX
@Article{ authors = " José M. Méndez, Gemma Robles", title = "A class of simpler logical matrices for the variable-sharing property", journal = "Logic and Logical Philosophy", issue = "2011 / Tom 20 / Numer 3", pages = "241 - 249" }
Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant Published in: Logic and Logical Philosophy 2007 / Tom 16 / Numer 4 / p. 311 - 322

2007

Gemma Robles

Plain Text
Gemma Robles, Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant, Logic and Logical Philosophy, 2007 / Tom 16 / Numer 4, s. 311 - 322

BIBTEX
@Article{ authors = " Gemma Robles", title = "Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant", journal = "Logic and Logical Philosophy", issue = "2007 / Tom 16 / Numer 4", pages = "311 - 322" }
A Note on Gödel-Dummet Logic LC Published in: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 3 / p. 325 - 335

2021

Jose M. Mendez Gemma Robles

Plain Text
Jose M. Mendez, Gemma Robles, A Note on Gödel-Dummet Logic LC , Bulletin of the Section of Logic, 2021 / Tom 50 / Numer 3, s. 325 - 335

BIBTEX
@Article{ authors = " Jose M. Mendez, Gemma Robles", title = "A Note on Gödel-Dummet Logic LC ", journal = "Bulletin of the Section of Logic", issue = "2021 / Tom 50 / Numer 3", pages = "325 - 335" }
A modal restriction of R-Mingle with the variable-sharing property Published in: Logic and Logical Philosophy 2010 / Tom 19 / Numer 4 / p. 341 - 351

2010

José M. Méndez Gemma Robles Francisco Salto

Plain Text
José M. Méndez, Gemma Robles, Francisco Salto, A modal restriction of R-Mingle with the variable-sharing property, Logic and Logical Philosophy, 2010 / Tom 19 / Numer 4, s. 341 - 351

BIBTEX
@Article{ authors = " José M. Méndez, Gemma Robles, Francisco Salto", title = "A modal restriction of R-Mingle with the variable-sharing property", journal = "Logic and Logical Philosophy", issue = "2010 / Tom 19 / Numer 4", pages = "341 - 351" }
A simple Henkin-style completeness proof for Gödel 3-valued logic G3 Published in: Logic and Logical Philosophy 2014 / Tom 23 / Numer 4 / p. 371 - 390

2014

Gemma Robles

Plain Text
Gemma Robles, A simple Henkin-style completeness proof for Gödel 3-valued logic G3, Logic and Logical Philosophy, 2014 / Tom 23 / Numer 4, s. 371 - 390

BIBTEX
@Article{ authors = " Gemma Robles", title = "A simple Henkin-style completeness proof for Gödel 3-valued logic G3", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 4", pages = "371 - 390" }
Admissibility of Ackermann’s rule δ in relevant logics Published in: Logic and Logical Philosophy 2013 / Tom 22 / Numer 4 / p. 411 - 427

2013

Gemma Robles

Plain Text
Gemma Robles, Admissibility of Ackermann’s rule δ in relevant logics, Logic and Logical Philosophy, 2013 / Tom 22 / Numer 4, s. 411 - 427

BIBTEX
@Article{ authors = " Gemma Robles", title = "Admissibility of Ackermann’s rule δ in relevant logics", journal = "Logic and Logical Philosophy", issue = "2013 / Tom 22 / Numer 4", pages = "411 - 427" }