Concepedia
Statistics
Publications
13
Citations
187
H-Index
10
Active since
2005
Affiliations
Universidad de Salamanca(Current)
Universidad de León
Gemma Robles is an author at Universidad de Salamanca specializing in logic, predicate logic, and computer science.
Publications per year
2005–2019
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices
José M. Méndez, Gemma Robles · Notre Dame Journal of Formal Logic · 2012 · 26 citations · Full text
Computing, Computer Science, Formal Methods +7
The basic constructive logic for a weak sense of consistency
Gemma Robles, José M. Méndez · Journal of Logic Language and Information · 2007 · 25 citations
Humanities, Computer Science, Mathematics +10
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
Gemma Robles, José M. Méndez · Logic Journal of IGPL · 2016 · 16 citations
Humanities, Mathematics, Philosophy +13
Ticket Entailment plus the mingle axiom has the variable-sharing property
José M. Méndez, Gemma Robles, Francisco Salto · Logic Journal of IGPL · 2011 · 14 citations
Humanities, Sociology, Knowledge Representation +5
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes
José M. Méndez, Gemma Robles · Logica Universalis · 2015 · 14 citations
Humanities, Mathematics, Formal Methods +8
1–5 of 13