default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGemma Robles
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j52]Gemma Robles, José M. Méndez:
The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic Bd. Log. J. IGPL 32(3): 493-516 (2024)- [j51]Gemma Robles, José M. Méndez:
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 32(3): 572 (2024) - 2023
- [j50]Gemma Robles, José M. Méndez:
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 31(3): 475-482 (2023) - [j49]Gemma Robles
, José M. Méndez:
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable. J. Philos. Log. 52(3): 915-938 (2023) - [j48]Gemma Robles:
Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP. J. Log. Comput. 33(2): 462-484 (2023) - 2022
- [j47]Gemma Robles, José M. Méndez:
A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic. Log. J. IGPL 30(1): 21-33 (2022) - 2021
- [j46]Gemma Robles:
The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment Logic. FLAP 8(7): 2035-2072 (2021) - [j45]Gemma Robles, José M. Méndez:
A 2 Set-up Routley Semantics for the 4-valued Logic PL4. FLAP 8(10): 2435-2446 (2021) - [j44]Gemma Robles, José M. Méndez:
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 31(2): 130-153 (2021) - [j43]Gemma Robles, José M. Méndez:
A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3 DH. J. Log. Lang. Inf. 30(1): 117-138 (2021) - [j42]Gemma Robles, José M. Méndez:
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. 30(3): 533-556 (2021) - [j41]Gemma Robles, José M. Méndez:
Basic Quasi-Boolean Expansions of Relevance Logics. J. Philos. Log. 50(4): 727-754 (2021) - [c1]Gemma Robles:
A Variant with the Variable-Sharing Property of Brady's 4-Valued Implicative Expansion BN4 of Anderson and Belnap's Logic FDE. CLAR 2021: 362-376 - 2020
- [j40]Gemma Robles:
A basic quasi-Boolean logic of intuitionistic character. J. Appl. Non Class. Logics 30(4): 291-311 (2020) - [j39]Gemma Robles, José M. Méndez:
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. 29(3): 349-374 (2020)
2010 – 2019
- 2019
- [j38]Gemma Robles:
Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix. Log. J. IGPL 27(1): 69-92 (2019) - [j37]Gemma Robles, José M. Méndez:
Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value. Log. J. IGPL 27(6): 910-932 (2019) - [j36]Gemma Robles, José M. Méndez:
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values. J. Appl. Non Class. Logics 29(1): 37-63 (2019) - [j35]Gemma Robles, Francisco Salto, José M. Méndez:
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value. J. Appl. Non Class. Logics 29(3): 307-325 (2019) - 2016
- [j34]Gemma Robles, José M. Méndez:
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4. Log. J. IGPL 24(5): 838-858 (2016) - [j33]José M. Méndez, Gemma Robles:
The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic. J. Appl. Non Class. Logics 26(1): 47-68 (2016) - [j32]José M. Méndez, Gemma Robles:
Strengthening Brady's Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators. J. Log. Lang. Inf. 25(2): 163-189 (2016) - [j31]José M. Méndez, Gemma Robles, Francisco Salto:
An Interpretation of Łukasiewicz's 4-Valued Modal Logic. J. Philos. Log. 45(1): 73-87 (2016) - [j30]Gemma Robles:
The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property. Reports Math. Log. 51: 105-131 (2016) - 2015
- [j29]Gemma Robles, José M. Méndez:
A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions. Log. J. IGPL 23(2): 174-193 (2015) - [j28]José M. Méndez, Gemma Robles:
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes. Logica Universalis 9(4): 501-522 (2015) - 2014
- [j27]Gemma Robles, José M. Méndez:
A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics. Log. J. IGPL 22(1): 1-23 (2014) - [j26]Gemma Robles, José M. Méndez:
A paraconsistent 3-valued logic related to Gödel logic G3. Log. J. IGPL 22(4): 515-538 (2014) - [j25]Gemma Robles, José M. Méndez:
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points. J. Appl. Non Class. Logics 24(4): 321-332 (2014) - [j24]Gemma Robles, José M. Méndez:
Blocking the Routes to Triviality with Depth Relevance. J. Log. Lang. Inf. 23(4): 493-526 (2014) - [j23]Gemma Robles, Francisco Salto, José M. Méndez:
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3. J. Philos. Log. 43(2-3): 303-332 (2014) - [j22]Gemma Robles, José M. Méndez:
Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle. Notre Dame J. Formal Log. 55(1): 107-127 (2014) - [j21]Gemma Robles, José M. Méndez:
Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance. Stud Logica 102(1): 185-217 (2014) - 2013
- [j20]Gemma Robles:
A Routley-Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart. Logica Universalis 7(4): 507-532 (2013) - 2012
- [j19]José M. Méndez, Gemma Robles, Francisco Salto:
Ticket Entailment plus the mingle axiom has the variable-sharing property. Log. J. IGPL 20(1): 355-364 (2012) - [j18]José M. Méndez, Gemma Robles:
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices. Notre Dame J. Formal Log. 53(2): 223-244 (2012) - [j17]Gemma Robles:
Paraconsistency and consistency understood as the absence of the negation of any implicative theorem. Reports Math. Log. 47: 147-171 (2012) - 2011
- [j16]Gemma Robles, José M. Méndez:
A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism. Log. J. IGPL 19(1): 18-32 (2011) - 2010
- [j15]Gemma Robles, José M. Méndez:
A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism. J. Philos. Log. 39(2): 139-158 (2010) - [j14]Gemma Robles:
Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective. Reports Math. Log. 45: 97-118 (2010) - [j13]Gemma Robles, José M. Méndez:
Paraconsistent Logics Included in Lewis' S4. Rev. Symb. Log. 3(3): 442-466 (2010)
2000 – 2009
- 2009
- [j12]Gemma Robles:
Relevance logics and intuitionistic negation II. J. Appl. Non Class. Logics 19(3): 371-388 (2009) - [j11]José M. Méndez, Gemma Robles:
The Basic Constructive Logic for Absolute Consistency. J. Log. Lang. Inf. 18(2): 199-216 (2009) - [j10]Gemma Robles, José M. Méndez:
Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. J. Log. Lang. Inf. 18(3): 357-402 (2009) - 2008
- [j9]Gemma Robles, José M. Méndez:
The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant. Log. J. IGPL 16(1): 33-41 (2008) - [j8]Gemma Robles:
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant. Log. J. IGPL 16(3): 275-291 (2008) - [j7]José M. Méndez, Gemma Robles:
Relevance logics and intuitionistic negation. J. Appl. Non Class. Logics 18(1): 49-65 (2008) - [j6]Gemma Robles, José M. Méndez:
The basic constructive logic for a weak sense of consistency. J. Log. Lang. Inf. 17(1): 89-107 (2008) - [j5]Gemma Robles:
The Basic Constructive Logic for Negation-Consistency. J. Log. Lang. Inf. 17(2): 161-181 (2008) - 2007
- [j4]Gemma Robles, José M. Méndez:
Minimal non-relevant logics without the K axiom. Reports Math. Log. 42: 117-144 (2007) - 2005
- [j3]Gemma Robles, José M. Méndez:
A constructive negation for logics including TW+. J. Appl. Non Class. Logics 15(4): 389-404 (2005) - [j2]Gemma Robles, José M. Méndez, Francisco Salto:
Minimal Negation in the Ternary Relational Semantics. Reports Math. Log. 39: 47-65 (2005) - 2002
- [j1]José M. Méndez, Francisco Salto, Gemma Robles:
Anderson and Belnap's Minimal Positive Logic with Minimal Negation. Reports Math. Log. 36: 117-130 (2002)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 21:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
