Gemma Robles - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 51 from 51

2023

Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4APGemma Robles. logcom, 33(2):462-484, March 2023. [doi]

A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is DefinableGemma Robles, José M. Méndez. jphil, 52(3):915-938, June 2023. [doi]

A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4Gemma Robles, José M. Méndez. igpl, 31(3):475-482, May 2023. [doi]

2022

A remark on functional completeness of binary expansions of Kleene's strong 3-valued logicGemma Robles, José M. Méndez. igpl, 30(1):21-33, 2022. [doi]

2021

DHGemma Robles, José M. Méndez. jolli, 30(1):117-138, 2021. [doi]

Basic Quasi-Boolean Expansions of Relevance LogicsGemma Robles, José M. Méndez. jphil, 50(4):727-754, 2021. [doi]

Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negationGemma Robles, José M. Méndez. jancl, 31(2):130-153, 2021. [doi]

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 Ł3Gemma Robles, José M. Méndez. jolli, 30(3):533-556, 2021. [doi]

The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment LogicGemma Robles. flap, 8(7):2035-2072, 2021. [doi]

A Variant with the Variable-Sharing Property of Brady's 4-Valued Implicative Expansion BN4 of Anderson and Belnap's Logic FDEGemma Robles. phoenix 2021: 362-376 [doi]

A 2 Set-up Routley Semantics for the 4-valued Logic PL4Gemma Robles, José M. Méndez. flap, 8(10):2435-2446, 2021. [doi]

2020

The Class of All Natural Implicative Expansions of Kleene's Strong Logic Functionally Equivalent to Łkasiewicz's 3-Valued Logic Ł3Gemma Robles, José M. Méndez. jolli, 29(3):349-374, 2020. [doi]

A basic quasi-Boolean logic of intuitionistic characterGemma Robles. jancl, 30(4):291-311, 2020. [doi]

2019

2016

2015

A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type ParadoxesJosé M. Méndez, Gemma Robles. lu, 9(4):501-522, 2015. [doi]

M and its extensionsGemma Robles, José M. Méndez. igpl, 23(2):174-193, 2015. [doi]

2014

A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logicsGemma Robles, José M. Méndez. igpl, 22(1):1-23, 2014. [doi]

Curry's Paradox, Generalized Modus Ponens Axiom and Depth RelevanceGemma Robles, José M. Méndez. sLogica, 102(1):185-217, 2014. [doi]

Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3Gemma Robles, Francisco Salto, José M. Méndez. jphil, 43(2-3):303-332, 2014. [doi]

Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-MingleGemma Robles, José M. Méndez. ndjfl, 55(1):107-127, 2014. [doi]

A paraconsistent 3-valued logic related to Gödel logic G3Gemma Robles, José M. Méndez. igpl, 22(4):515-538, 2014. [doi]

Blocking the Routes to Triviality with Depth RelevanceGemma Robles, José M. Méndez. jolli, 23(4):493-526, 2014. [doi]

The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated pointsGemma Robles, José M. Méndez. jancl, 24(4):321-332, 2014. [doi]

2013

A Routley-Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent CounterpartGemma Robles. lu, 7(4):507-532, 2013. [doi]

2012

Ticket Entailment plus the mingle axiom has the variable-sharing propertyJosé M. Méndez, Gemma Robles, Francisco Salto. igpl, 20(1):355-364, 2012. [doi]

A General Characterization of the Variable-Sharing Property by Means of Logical MatricesJosé M. Méndez, Gemma Robles. ndjfl, 53(2):223-244, 2012. [doi]

Paraconsistency and consistency understood as the absence of the negation of any implicative theoremGemma Robles. rml, 47:147-171, 2012. [doi]

2011

A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogismGemma Robles, José M. Méndez. igpl, 19(1):18-32, 2011. [doi]

2010

r Plus the Disjunctive SyllogismGemma Robles, José M. Méndez. jphil, 39(2):139-158, 2010. [doi]

Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connectiveGemma Robles. rml, 45:97-118, 2010. [doi]

Paraconsistent Logics Included in Lewis' S4Gemma Robles, José M. Méndez. rsl, 3(3):442-466, 2010. [doi]

2009

The Basic Constructive Logic for Absolute ConsistencyJosÃ© M. MÃ©ndez, Gemma Robles. jolli, 18(2):199-216, 2009. [doi]

Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of ConsistencyGemma Robles, JosÃ© M. MÃ©ndez. jolli, 18(3):357-402, 2009. [doi]

Relevance logics and intuitionistic negation IIGemma Robles. jancl, 19(3):371-388, 2009. [doi]

2008

Relevance logics and intuitionistic negationJosé M. Méndez, Gemma Robles. jancl, 18(1):49-65, 2008. [doi]

The basic constructive logic for a weak sense of consistencyGemma Robles, José M. Méndez. jolli, 17(1):89-107, 2008. [doi]

The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity ConstantGemma Robles. igpl, 16(3):275-291, 2008. [doi]

The Basic Constructive Logic for Negation-ConsistencyGemma Robles. jolli, 17(2):161-181, 2008. [doi]

The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity ConstantGemma Robles, José M. Méndez. igpl, 16(1):33-41, 2008. [doi]

2007

Minimal non-relevant logics without the K axiomGemma Robles, José M. Méndez. rml, 42:117-144, 2007. [doi]

2005

Minimal Negation in the Ternary Relational SemanticsGemma Robles, José M. Méndez, Francisco Salto. rml, 39:47-65, 2005. [doi]

A constructive negation for logics including TW+Gemma Robles, José M. Méndez. jancl, 15(4):389-404, 2005.

2002

Anderson and Belnap s Minimal Positive Logic with Minimal NegationJosé M. Méndez, Francisco Salto, Gemma Robles. rml, 36:117-130, 2002.

Sign in or sign up to see more results.

runs on WebDSL