José M. Méndez

Orcid: 0000-0002-9560-3327

According to our database1, José M. Méndez authored at least 47 papers between 1987 and 2023.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2022
A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic.
Log. J. IGPL, 2022

2021
Basic Quasi-Boolean Expansions of Relevance Logics.
J. Philos. Log., 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

A 2 Set-up Routley Semantics for the 4-valued Logic PL4.
FLAP, 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

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

2016
An Interpretation of Łukasiewicz's 4-Valued Modal Logic.
J. Philos. 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
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.
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
Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance.
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

Blocking the Routes to Triviality with Depth Relevance.
J. Log. Lang. Inf., 2014

The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points.
J. Appl. Non Class. Logics, 2014

A paraconsistent 3-valued logic related to Gödel logic G3.
Log. J. IGPL, 2014

A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics.
Log. J. IGPL, 2014

2012
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.
Notre Dame J. Formal Log., 2012

Ticket Entailment plus the mingle axiom has the variable-sharing property.
Log. J. IGPL, 2012

2011
A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism.
Log. J. IGPL, 2011

2010
Paraconsistent Logics Included in Lewis' S4.
Rev. Symb. Log., 2010

A Routley-Meyer Type Semantics for Relevant Logics Including B<sub>r</sub> Plus the Disjunctive Syllogism.
J. Philos. Log., 2010

Erratum to: The Compatibility of Relevance and Mingle.
J. Philos. Log., 2010

2009
Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency.
J. Log. Lang. Inf., 2009

The Basic Constructive Logic for Absolute Consistency.
J. Log. Lang. Inf., 2009

2008
The basic constructive logic for a weak sense of consistency.
J. Log. Lang. Inf., 2008

Relevance logics and intuitionistic negation.
J. Appl. Non Class. Logics, 2008

The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant.
Log. J. IGPL, 2008

Hypergraphics for History Teaching - Barriers for Causal Reasoning about History Accounts.
J. Educ. Technol. Soc., 2008

2007
Minimal non-relevant logics without the K axiom.
Reports Math. Log., 2007

2005
Minimal Negation in the Ternary Relational Semantics.
Reports Math. Log., 2005

A constructive negation for logics including TW+.
J. Appl. Non Class. Logics, 2005

2002
Anderson and Belnap's Minimal Positive Logic with Minimal Negation.
Reports Math. Log., 2002

2000
Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'.
Stud Logica, 2000

1998
A Natural Negation Completion of Urquhart's Many-Valued Logic C.
J. Philos. Log., 1998

1995
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom.
Notre Dame J. Formal Log., 1995

1988
Converse Ackermann Croperty and semiclassical negation.
Stud Logica, 1988

The compatibility of relevance and mingle.
J. Philos. Log., 1988

1987
A Routley-Meyer semantics for converse Ackermann Property.
J. Philos. Log., 1987


  Loading...