Gemma Robles
21 artykuły w 2 czasopismach
-
A Note on the Non-Involutive Routley Star Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 1 / s. 19 - 272008CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / s. 45 - 572007CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 1-2 / s. 51 - 602012CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / s. 61 - 762009CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 1-2 / s. 79 - 912010CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 2 / s. 87 - 942004CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2016 / Tom 45 / Numer 2 / s. 93 - 1102016CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 2 / s. 101 - 1162005CZYSTY TEKST
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 Opublikowano w: Logic and Logical Philosophy 2006 / Tom 15 / Numer 2 / s. 113 - 1302006CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 3 / s. 139 - 1462001CZYSTY TEKST
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 Opublikowano w: Logic and Logical Philosophy 2006 / Tom 15 / Numer 3 / s. 175 - 1912006CZYSTY TEKST
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+ Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 3 / s. 177 - 1892005CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2011 / Tom 40 / Numer 3-4 / s. 195 - 2022011CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 4 / s. 195 - 2061999CZYSTY TEKST
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 Opublikowano w: Logic and Logical Philosophy 2011 / Tom 20 / Numer 3 / s. 241 - 2492011CZYSTY TEKST
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 Opublikowano w: Logic and Logical Philosophy 2011 / Tom 20 / Numer 3 / s. 241 - 2492011CZYSTY TEKST
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 Opublikowano w: Logic and Logical Philosophy 2007 / Tom 16 / Numer 4 / s. 311 - 3222007CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 3 / s. 325 - 3352021CZYSTY TEKST
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 Opublikowano w: Logic and Logical Philosophy 2010 / Tom 19 / Numer 4 / s. 341 - 3512010CZYSTY TEKST
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 Opublikowano w: Logic and Logical Philosophy 2014 / Tom 23 / Numer 4 / s. 371 - 3902014CZYSTY TEKST
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 Opublikowano w: Logic and Logical Philosophy 2013 / Tom 22 / Numer 4 / s. 411 - 4272013CZYSTY TEKST
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" }
