Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJosé M. Méndez
- > Home > Persons > José M. Méndez
Publications
- 2023
[j47]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)- [j46]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) - 2022
- [j45]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
- [j44]Gemma Robles, José M. Méndez:
A 2 Set-up Routley Semantics for the 4-valued Logic PL4. FLAP 8(10): 2435-2446 (2021) - [j43]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) - [j42]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) - [j41]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) - [j40]Gemma Robles, José M. Méndez:
Basic Quasi-Boolean Expansions of Relevance Logics. J. Philos. Log. 50(4): 727-754 (2021) - 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) - 2019
- [j38]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) - [j37]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) - [j36]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
- [j35]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) - [j34]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) - [j33]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) - [j32]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) - 2015
- [j31]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) - [j30]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
- [j29]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) - [j28]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) - [j27]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) - [j26]Gemma Robles, José M. Méndez:
Blocking the Routes to Triviality with Depth Relevance. J. Log. Lang. Inf. 23(4): 493-526 (2014) - [j25]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) - [j24]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) - [j23]Gemma Robles, José M. Méndez:
Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance. Stud Logica 102(1): 185-217 (2014) - 2012
- [j22]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) - [j21]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) - 2011
- [j20]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
- [j19]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) - [j17]Gemma Robles, José M. Méndez:
Paraconsistent Logics Included in Lewis' S4. Rev. Symb. Log. 3(3): 442-466 (2010) - 2009
- [j16]José M. Méndez, Gemma Robles:
The Basic Constructive Logic for Absolute Consistency. J. Log. Lang. Inf. 18(2): 199-216 (2009) - [j15]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
- [j13]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) - [j12]José M. Méndez, Gemma Robles:
Relevance logics and intuitionistic negation. J. Appl. Non Class. Logics 18(1): 49-65 (2008) - [j11]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) - 2007
- [j10]Gemma Robles, José M. Méndez:
Minimal non-relevant logics without the K axiom. Reports Math. Log. 42: 117-144 (2007) - 2005
- [j9]Gemma Robles, José M. Méndez:
A constructive negation for logics including TW+. J. Appl. Non Class. Logics 15(4): 389-404 (2005) - [j8]Gemma Robles, José M. Méndez, Francisco Salto:
Minimal Negation in the Ternary Relational Semantics. Reports Math. Log. 39: 47-65 (2005) - 2002
- [j7]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)
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 2023-09-28 03:17 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:
