77 found
Order:
See also
Gemma Robles
Universidad de León
  1.  11
    Belnap-Dunn Semantics for Natural Implicative Expansions of Kleene's Strong Three-Valued Matrix with Two Designated Values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.
    ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  18
    Routley-Meyer Ternary Relational Semantics for Intuitionistic-Type Negations.Gemma Robles & José M. Méndez - 2018 - Elsevier, Academic Press.
    Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  33
    A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.Gemma Robles & José M. Méndez - 2012 - Notre Dame Journal of Formal Logic 53 (2):223-244.
    As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  4.  33
    A Simple Henkin-Style Completeness Proof for Gödel 3-Valued Logic G3.Gemma Robles - 2014 - Logic and Logical Philosophy 23 (4):371-390.
    A simple Henkin-style completeness proof for Gödel 3-valued propositional logic G3 is provided. The idea is to endow G3 with an under-determined semantics of the type defined by Dunn. The key concept in u-semantics is that of “under-determined interpretation”. It is shown that consistent prime theories built upon G3 can be understood as u-interpretations. In order to prove this fact we follow Brady by defining G3 as an extension of Anderson and Belnap’s positive fragment of First Degree Entailment Logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  11
    Belnap-Dunn Semantics for Natural Implicative Expansions of Kleene's Strong Three-Valued Matrix II. Only One Designated Value.Gemma Robles, Francisco Salto & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (3):307-325.
    This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  7
    The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 29 (3):349-374.
    We consider the logics determined by the set of all natural implicative expansions of Kleene’s strong 3-valued matrix and select the class of all logics functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. The concept of a “natural implicative matrix” is based upon the notion of a “natural conditional” defined in Tomova.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  7.  84
    A Routley-Meyer Type Semantics for Relevant Logics Including B R Plus the Disjunctive Syllogism.Gemma Robles & José M. Méndez - 2010 - Journal of Philosophical Logic 39 (2):139-158.
    Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8.  74
    The Basic Constructive Logic for a Weak Sense of Consistency.Gemma Robles & José M. Méndez - 2008 - Journal of Logic, Language and Information 17 (1):89-107.
    In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  9.  33
    An Interpretation of Łukasiewicz’s 4-Valued Modal Logic.José M. Méndez, Gemma Robles & Francisco Salto - 2016 - Journal of Philosophical Logic 45 (1):73-87.
    A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true, etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in Łm4.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  15
    A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3DH.Gemma Robles & José M. Méndez - 2021 - Journal of Logic, Language and Information 30 (1):117-138.
    The logic DHb is the result of extending Sylvan and Plumwood’s minimal De Morgan logic BM with a dual intuitionistic negation of the type Sylvan defined for the extension CCω of da Costa’s paraconsistent logic Cω. We provide Routley–Meyer ternary relational semantics with a set of designated points for DHb and a wealth of its extensions included in G3DH, the expansion of G3+ with a dual intuitionistic negation of the kind considered by Sylvan (G3+ is the positive fragment of Gödelian (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  11.  7
    Partiality and its Dual in Natural Implicative Expansions of Kleene’s Strong 3-Valued Matrix with Only One Designated Value.Gemma Robles & José M. Méndez - 2019 - Logic Journal of the IGPL 27 (6):910-932.
    Equivalent overdetermined and underdetermined bivalent Belnap–Dunn type semantics for the logics determined by all natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value are provided.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  41
    A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
    Routley–Meyer semantics (RM-semantics) is defined for Gödel 3-valued logic G3 and some logics related to it among which a paraconsistent one differing only from G3 in the interpretation of negation is to be remarked. The logics are defined in the Hilbert-style way and also by means of proof-theoretical and semantical consequence relations. The RM-semantics is defined upon the models for Routley and Meyer’s basic positive logic B+, the weakest positive RM-semantics. In this way, it is to be expected that the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  16
    The Non-Relevant De Morgan Minimal Logic in Routley-Meyer Semantics with No Designated Points.Gemma Robles & José M. Méndez - 2014 - Journal of Applied Non-Classical Logics 24 (4):321-332.
    Sylvan and Plumwood’s is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic and some of its extensions. The logic is the non-relevant De Morgan minimal logic in the Routley-Meyer semantics without a set of designated points.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14.  25
    Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz's 3-Valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
    Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15. A Routley-Meyer Semantics for Relevant Logics Including TWR Plus the Disjunctive Syllogism.Gemma Robles & José M. Méndez - 2011 - Logic Journal of the IGPL 19 (1):18-32.
    We provide Routley-Meyer type semantics for relevant logics including Contractionless Ticket Entailment TW (without the truth constant t and o) plus reductio R and Ackermann’s rule γ (i.e., disjunctive syllogism). These logics have the following properties. (i) All have the variable sharing property; some of them have, in addition, the Ackermann Property. (ii) They are stable. (iii) Inconsistent theories built upon these logics are not necessarily trivial.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  34
    A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.
    The aim of this paper is to introduce an alternative to Łukasiewicz’s 4-valued modal logic Ł. As it is known, Ł is afflicted by “Łukasiewicz type paradoxes”. The logic we define, PŁ4, is a strong paraconsistent and paracomplete 4-valued modal logic free from this type of paradoxes. PŁ4 is determined by the degree of truth-preserving consequence relation defined on the ordered set of values of a modification of the matrix MŁ characteristic for the logic Ł. On the other hand, PŁ4 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  4
    A Basic Quasi-Boolean Logic of Intuitionistic Character.Gemma Robles - 2020 - Journal of Applied Non-Classical Logics 30 (4):291-311.
    The logic B M is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B M endowed with a quasi-Boolean negation of intuitionistic character included...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  58
    Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Studia Logica 102 (1):185-217.
    “Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure ${\mathcal{M}_{\rm CL}}$ built upon Meyer’s Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry’s Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry’s Paradox.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  8
    Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz’s 3-Valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2014 - Journal of Philosophical Logic 43 (2-3):303-332.
    Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley and Meyer’s basic positive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  26
    Relational Semantics for the 4-Valued Relevant Logics BN4 and E4.Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela & Marcos M. Recio - 2016 - Logic and Logical Philosophy 25 (2):173-201.
    The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  11
    Blocking the Routes to Triviality with Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Journal of Logic, Language and Information 23 (4):493-526.
    In Rogerson and Restall’s, the “class of implication formulas known to trivialize ” is recorded. The aim of this paper is to show how to invalidate any member in this class by using “weak relevant model structures”. Weak relevant model structures verify deep relevant logics only.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  16
    Ticket Entailment Plus the Mingle Axiom has the Variable-Sharing Property.José M. Méndez, Gemma Robles & Francisco Salto - 2012 - Logic Journal of the IGPL 20 (1):355-364.
    The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property . Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  2
    A Remark on Functional Completeness of Binary Expansions of Kleene’s Strong 3-Valued Logic.Gemma Robles & José M. Méndez - 2022 - Logic Journal of the IGPL 30 (1):21-33.
    A classical result by Słupecki states that a logic L is functionally complete for the 3-element set of truth-values THREE if, in addition to functionally including Łukasiewicz’s 3-valued logic Ł3, what he names the ‘$T$-function’ is definable in L. By leaning upon this classical result, we prove a general theorem for defining binary expansions of Kleene’s strong logic that are functionally complete for THREE.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. A Modal Restriction of R-Mingle with the Variable-Sharing Property.Gemma Robles, José M. Méndez & Francisco Salto - 2010 - Logic and Logical Philosophy 19 (4):341-351.
    A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  26
    Admissibility of Ackermann's Rule Δ in Relevant Logics.Gemma Robles - 2013 - Logic and Logical Philosophy 22 (4):411-427.
    It is proved that Ackermann’s rule δ is admissible in a wide spectrum of relevant logics satisfying certain syntactical properties.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  31
    The Basic Constructive Logic for Negation-Consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
    In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BKc4, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc4 up to minimal intuitionistic logic. All logics defined in this paper are paraconsistent logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  27.  31
    Relevance Logics, Paradoxes of Consistency and the K Rule II. A Non-Constructive Negation.José M. Méndez & Gemma Robles - 2007 - Logic and Logical Philosophy 15 (3):175-191.
    The logic B+ is Routley and Meyer’s basic positive logic. We define the logics BK+ and BK'+ by adding to B+ the K rule and to BK+ the characteristic S4 axiom, respectively. These logics are endowed with a relatively strong non-constructive negation. We prove that all the logics defined lack the K axiom and the standard paradoxes of consistency.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  9
    A Companion to Brady's 4-Valued Relevant Logic BN4: The 4-Valued Logic of Entailment E4.Gemma Robles & José M. Méndez - 2016 - Logic Journal of the IGPL 24 (5).
  29.  18
    The Logic B and the Reductio Axioms.Gemma Robles & José M. Méndez - 2004 - Bulletin of the Section of Logic 33 (2):87-94.
  30.  34
    Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
    Łukasiewicz presented two different analyses of modal notions by means of many-valued logics: the linearly ordered systems Ł3,..., Open image in new window,..., \; the 4-valued logic Ł he defined in the last years of his career. Unfortunately, all these systems contain “Łukasiewicz type paradoxes”. On the other hand, Brady’s 4-valued logic BN4 is the basic 4-valued bilattice logic. The aim of this paper is to show that BN4 can be strengthened with modal operators following Łukasiewicz’s strategy for defining truth-functional (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  15
    A 2-Set-Up Routley-Meyer Semantics for the 4-Valued Relevant Logic E4.Gemma Robles, Sandra M. López, José M. Blanco, Marcos M. Recio & Jesús R. Paradela - 2016 - Bulletin of the Section of Logic 45 (2).
    The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  2
    Curry’s Paradox, Generalized Contraction Rule and Depth Relevance.Francisco Salto, Gemma Robles & José M. Méndez - 2018 - In Konstantinos Boudouris (ed.), Proceedings XXIII world Congress Philosophy. Charlottesville: Philosophy Documentation Center. pp. 35-39.
    As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. Among (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  18
    The Logic Determined by Smiley’s Matrix for Anderson and Belnap’s First-Degree Entailment Logic.José M. Méndez & Gemma Robles - 2016 - Journal of Applied Non-Classical Logics 26 (1):47-68.
    The aim of this paper is to define the logical system Sm4 characterised by the degree of truth-preserving consequence relation defined on the ordered set of values of Smiley’s four-element matrix MSm4. The matrix MSm4 has been of considerable importance in the development of relevant logics and it is at the origin of bilattice logics. It will be shown that Sm4 is a most interesting paraconsistent logic which encloses a sound theory of logical necessity similar to that of Anderson and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  23
    Restricting the Contraction Axiom in Dummett's LC: A Sublogic of LC with the Converse Ackermann Property, the Logic LCo.Francisco Salto, José M. Méndez & Gemma Robles - 2001 - Bulletin of the Section of Logic 30 (3):139-146.
    LCo with the Converse Ackermann Property is defined as the result of restricting Contraction in LC. Intuitionistic and Superintuitionistic Negation is shown to be compatible with the CAP.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. Extensions of the Basic Constructive Logic for Weak Consistency BKc1 Defined with a Falsity Constant.Gemma Robles - 2007 - Logic and Logical Philosophy 16 (4):311-322.
    The logic BKc1 is the basic constructive logic for weak consistency in the ternary relational semantics without a set of designated points. In this paper, a number of extensions of B Kc1 defined with a propositional falsity constant are defined. It is also proved that weak consistency is not equivalent to negation-consistency or absolute consistency in any logic included in positive contractionless intermediate logic LC plus the constructive negation of BKc1 and the contraposition axioms.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  36.  20
    Converse Ackermann Property and Constructive Negation Defined with a Negation Connective.Gemma Robles & José M. Méndez - 2006 - Logic and Logical Philosophy 15 (2):113-130.
    The Converse Ackermann Property is the unprovability of formulas of the form (A -> B) -> C when C does contain neither -> nor ¬. Intuitively, the CAP amounts to rule out the derivability of pure non-necessitive propositions from non-necessitive ones. A constructive negation of the sort historically defined by, e.g., Johansson is added to positive logics with the CAP in the spectrum delimited by Ticket Entailment and Dummett’s logic LC.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  19
    Relational Ternary Semantics for a Logic Equivalent to Involutive Monoidal T-Norm Based Logic IMTL.Gemma Robles & José M. Méndez - 2005 - Bulletin of the Section of Logic 34 (2):101-116.
  38.  46
    Minimal Negation in the Ternary Relational Semantics.Gemma Robles, José M. Méndez & Francisco Salto - 2005 - Reports on Mathematical Logic 39:47-65.
    Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  28
    A Semantical Proof of the Admissibility of the Rule Assertion in Some Relevant and Modal Logics.Gemma Robles - 2012 - Bulletin of the Section of Logic 41 (1/2):51-60.
  40.  14
    Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle.Gemma Robles & José M. Méndez - 2014 - Notre Dame Journal of Formal Logic 55 (1):107-127.
  41. Two Versions of Minimal Intuitionism with the Cap. A Note.Gemma Robles & José M. Méndez - 2005 - Theoria 20 (2):183-190.
    Two versions of minimal intuitionism are defined restricting Contraction. Both are defined by means of a falsity constant F. The first one follows the historical trend, the second is the result of imposing specialconstraints on F. RelationaI ternary semantics are provided.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  42.  8
    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.Gemma Robles & José M. Méndez - 2021 - Journal of Logic, Language and Information 30 (3):533-556.
    The present paper is a sequel to Robles et al. :349–374, 2020. https://doi.org/10.1007/s10849-019-09306-2). A class of implicative expansions of Kleene’s 3-valued logic functionally including Łukasiewicz’s logic Ł3 is defined. Several properties of this class and/or some of its subclasses are investigated. Properties contemplated include functional completeness for the 3-element set of truth-values, presence of natural conditionals, variable-sharing property and vsp-related properties.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. The Non-Involutive Routley Star: Relevant Logics Without Weak Double Negation.Gemma Robles - 2010 - Teorema: International Journal of Philosophy 29 (3):103-116.
  44.  76
    A Constructive Negation for Logics Including TW+.Gemma Robles & José M. Méndez - 2005 - Journal of Applied Non-Classical Logics 15 (4):389-404.
    The logic TW+ is positive Ticket Entailment without the contraction axiom. Constructive negation is understood in the intuitionistic sense but without paradoxes of relevance. It is shown how to introduce a constructive negation of this kind in positive logics at least as strong as TW+. Special attention is paid to the reductio axioms. Concluding remarks about relevance, modal and entailment logics are stated. Complete relational ternary semantics are provided for the logics introduced in this paper.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  6
    Natural Implicative Expansions of Variants of Kleene's Strong 3-Valued Logic with Gödel-Type and Dual Gödel-Type Negation.Gemma Robles & José M. Méndez - 2021 - Journal of Applied Non-Classical Logics 31 (2):130-153.
    Let MK3 I and MK3 II be Kleene's strong 3-valued matrix with only one and two designated values, respectively. Next, let MK3 G be defined exactly as MK3 I, except th...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  7
    Basic Quasi-Boolean Expansions of Relevance Logics.Gemma Robles & José M. Méndez - 2021 - Journal of Philosophical Logic 50 (4):727-754.
    The basic quasi-Boolean negation expansions of relevance logics included in Anderson and Belnap’s relevance logic R are defined. We consider two types of QB-negation: H-negation and D-negation. The former one is of paraintuitionistic or superintuitionistic character, the latter one, of dual intuitionistic nature in some sense. Logics endowed with H-negation are paracomplete; logics with D-negation are paraconsistent. All logics defined in the paper are given a Routley-Meyer ternary relational semantics.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  26
    Axiomatizing S4+ and J+ Without the Suffixing, Prefixing and Self-Distribution of the Conditional Axioms.Gemma Robles & José M. Méndez - 2010 - Bulletin of the Section of Logic 39 (1/2):79-91.
  48.  36
    Paraconsistent Logics Included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.
    As is known, a logic S is paraconsistent if the rule ECQ (E contradictione quodlibet) is not a rule of S. Not less well known is the fact that Lewis’ modal logics are not paraconsistent. Actually, Lewis vindicates the validity of ECQ in a famous proof currently known as the “Lewis’ proof” or “Lewis’ argument.” This proof essentially leans on the Disjunctive Syllogism as a rule of inference. The aim of this paper is to define a series of paraconsistent logics (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Extensions of the Basic Constructive Logic for Negation-Consistency BKc4.Gemma Robles - 2008 - Logique Et Analyse 51.
  50. Intutionistic Propositional Logic with the Converse Ackerman Poperty.Gemma Robles - 2003 - Teorema: International Journal of Philosophy 22 (1-2):46-54.
1 — 50 / 77