Gemma Robles
Orcid: 0000-0001-6495-0388
According to our database1,
Gemma Robles
authored at least 53 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4.
Log. J. IGPL, 2024
The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic B<i>d</i>.
Log. J. IGPL, 2024
2023
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable.
J. Philos. Log., June, 2023
A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4.
Log. J. IGPL, May, 2023
Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP.
J. Log. Comput., March, 2023
2022
A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic.
Log. J. IGPL, 2022
2021
A Class of Implicative Expansions of Kleene's Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz's 3-Valued Logic Ł3.
J. Log. Lang. Inf., 2021
A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3<sub> DH</sub>.
J. Log. Lang. Inf., 2021
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation.
J. Appl. Non Class. Logics, 2021
The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment Logic.
FLAP, 2021
A Variant with the Variable-Sharing Property of Brady's 4-Valued Implicative Expansion BN4 of Anderson and Belnap's Logic FDE.
Proceedings of the Logic and Argumentation - 4th International Conference, 2021
2020
The Class of All Natural Implicative Expansions of Kleene's Strong Logic Functionally Equivalent to Łkasiewicz's 3-Valued Logic Ł3.
J. Log. Lang. Inf., 2020
J. Appl. Non Class. Logics, 2020
2019
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.
J. Appl. Non Class. Logics, 2019
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.
J. Appl. Non Class. Logics, 2019
Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value.
Log. J. IGPL, 2019
Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix.
Log. J. IGPL, 2019
2016
The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property.
Reports Math. Log., 2016
Strengthening Brady's Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.
J. Log. Lang. Inf., 2016
The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic.
J. Appl. Non Class. Logics, 2016
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4.
Log. J. IGPL, 2016
2015
Logica Universalis, 2015
A binary Routley semantics for intuitionistic De Morgan minimal logic H<sub>M</sub> and its extensions.
Log. J. IGPL, 2015
2014
Stud Logica, 2014
Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle.
Notre Dame J. Formal Log., 2014
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.
J. Philos. Log., 2014
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points.
J. Appl. Non Class. Logics, 2014
A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics.
Log. J. IGPL, 2014
2013
A Routley-Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.
Logica Universalis, 2013
2012
Paraconsistency and consistency understood as the absence of the negation of any implicative theorem.
Reports Math. Log., 2012
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.
Notre Dame J. Formal Log., 2012
Log. J. IGPL, 2012
2011
A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism.
Log. J. IGPL, 2011
2010
Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective.
Reports Math. Log., 2010
A Routley-Meyer Type Semantics for Relevant Logics Including B<sub>r</sub> Plus the Disjunctive Syllogism.
J. Philos. Log., 2010
2009
Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency.
J. Log. Lang. Inf., 2009
2008
J. Log. Lang. Inf., 2008
The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant.
Log. J. IGPL, 2008
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant.
Log. J. IGPL, 2008
2007
2005
2002
Reports Math. Log., 2002