27 found
Order:
  1.  38
    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   4 citations  
  2.  37
    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   8 citations  
  3.  56
    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   5 citations  
  4.  52
    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  
  5.  28
    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  
  6.  19
    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   2 citations  
  7. 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  
  8. 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   2 citations  
  9.  41
    Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom.José M. Méndez & Francisco Salto - 1995 - Notre Dame Journal of Formal Logic 36 (3):407-413.
    This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionistic contractionless propositional logic equivalent to Dummett's LC without contraction.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  39
    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  
  11. Evidence Linking Brain Activity Modulation to Age and to Deductive Training.Paula Álvarez-Merino, Carmen Requena & Francisco Salto - 2018 - Neural Plasticity 2018:1-20.
    Electrical brain activity modulation in terms of changes in its intensity and spatial distribution is a function of age and task demand. However, the dynamics of brain modulation is unknown when it depends on external factors such as training. The aim of this research is to verify the effect of deductive reasoning training on the modulation in the brain activity of healthy younger and older adults ( (mean age of 21 ± 3.39) and (mean age of 68.92 ± 5.72)). The (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Variables de Medida del Razonamiento Deductivo.Francisco Salto, Paula Alvarez-Merino & Carmen Requena - 2018 - Revista Iberoamericana de Diagnstico y Evaluación Psicológica 49 (4):59-75.
    Hay doble pulsión en el centro de la discusión del razonamiento deductivo. Una conduce aparentemente a la abstracción y dominios arbitrarios, mientras que la otra conduce a la concreción y la dependencia del contenido. El objetivo de esta investigación es diseñar, aplicar y validar un instrumento de evaluación que nos permita corroborar si el razonamiento deductivo maneja reglas lógicas o contenidos. La muestra de estudio se compuso de 80 participantes (edad 18-77 años). El test consta de 60 ítems categorizados en: (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. In Continuity: A Reflection on the Passive Synthesis of Sameness.Francisco Salto - 1991 - In Analecta Husserleana vol. 34. The Turning Points of the New Phenomenological Era. Dordrecht: pp. 195-202.
    It is an intimate experience for us to think, to understand and to perceive things as being identical to themselves, and to suppose, consequently, that things are truly “what” they are. Something is always conceived as itself. The given is given full of itself in all its modifications. For instance, I can think or perceive partially some lips, I can see them almost in their whole or in some of their aspects, or just see them disappear. But it does not (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. A natural negation completion of Urquhart's many-valued logic C.José M. Mendez & Francisco Salto - 1998 - Journal of Philosophical Logic 27 (1):75-84.
    Etude de l'extension par la negation semi-intuitionniste de la logique positive des propositions appelee logique C, developpee par A. Urquhart afin de definir une semantique relationnelle valable pour la logique des valeurs infinies de Lukasiewicz (Lw). Evitant les axiomes de contraction et de reduction propres a la logique classique de Dummett, l'A. propose une semantique de type Routley-Meyer pour le systeme d'Urquhart (CI) en tant que celle-la ne fournit que des theories consistantes pour la completude de celui-ci.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  30
    GlosariumBITRI: Interdisciplinary elucidation of concepts, metaphors, theories and problems concerning INFORMATION.José María Díaz-Nafría, Mario Pérez Montoro & Francisco Salto - 2015 - La Libertad: Universidad Estatal Península de Santa Elena, 2015..
    The BITrum glossary, planned as one of the first activities in the development of the BITrum project, essentially aims at serving as a tool for the clarification of concepts, theories and problems concerning information. Intending to embrace the most relevant points of view with respect to information, it is interdisciplinarily developed by a board of experts coming from a wide variety of scientific fields. The glossarium BITri kindly invites the scientific community to make contributions of any kind aimed at clarifying (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Tjeerd B. Jongeling, Teun Koetsier & Evert Wattel, a logical approach to qualitative reasoning with'several'... 15.Vladimir Markin, Dmitry Zaitsev, Imaginary Logic, Lloyd Humberstone, Implicational Converses, Jose M. Mendez, Francisco Salto, Pedro Mendez, Roger Vergauwen & Ray Lam - 2002 - Logique Et Analyse 45:1.
     
    Export citation  
     
    Bookmark  
  17. Adding the Disjunctive Syllogism to Relevant Logics Including TW Plus the Contraction and Reductio Rules.Jose M. Mendez, Gemma Robles & Francisco Salto - 2011 - Logique Et Analyse 54 (215):343-358.
  18. Localización Cerebral del Procesamiento Semántico.Paula Álvarez Merino, Carmen Requena & Francisco Salto - 2019 - Revista de Neurologí 69:1-10.
    Objetivo. Verificar si el procesamiento semántico de estímulos visuales complejos, como la repetición, la identidad, el orden y la doble incongruencia, es recursivo o computable. Sujetos y métodos. Veintisiete universitarios respondieron a un paradigma adaptado N400 con cinco condiciones, cada una con 80 tareas, mientras se registraba su actividad cerebral con un gorro de 64 electrodos. Resultados. Dos ventanas temporales de 400 a 550 ms y de 550 a 800 ms se analizaron mediante un contraste ANOVA del factor condición por (...)
     
    Export citation  
     
    Bookmark  
  19.  48
    (1 other version)El sistema bp+ : Una lógica positiva mínima para la negación mínima (the system bp+: A minimal positive logic for minimal negation).José M. Méndez, Francisco Salto & Gemma Robles - 2007 - Theoria 22 (1):81-91.
    Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  42
    (2 other versions)The basic constructive logic for negation-consistency defined with a propositional falsity constant.José M. Méndez, Gemma Robles & Francisco Salto - 2007 - Bulletin of the Section of Logic 36 (1-2):45-58.
  21.  24
    A constructive negation defined with a negation connective for logics including Bp+.Gemma Robles, Francisco Salto & José M. Méndez - 2005 - Bulletin of the Section of Logic 34 (3):177-190.
    The concept of constructive negation we refer to in this paper is (minimally) intuitionistic in character (see [1]). The idea is to understand the negation of a proposition A as equivalent to A implying a falsity constant of some sort. Then, negation is introduced either by means of this falsity constant or, as in this paper, by means of a propositional connective defined with the constant. But, unlike intuitionisitc logic, the type of negation we develop here is, of course, devoid (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  34
    A weak logic with the axiom Mingle lacking the variable-sharing property.Gemma Robles, Francisco Salto & José M. Méndez - 2011 - Bulletin of the Section of Logic 40 (3/4):195-202.
    As it is well known, Relevance Logic R plus the axiom mingle (R-Mingle) does not have the variable-sharing property (vsp). The aim of this paper is to improve this result by defining a weak logic with the axiom mingle and not included in minimal logic BM lacking the vsp.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. (1 other version)Exhaustively Axiomatizing S3 (->) degrees and S4 (->) degrees.Gemma Robles, Francisco Salto & Jose M. Mendez - 2008 - Teorema: International Journal of Philosophy 27 (2):79-89.
    S3o and S4o are the restrictions with the Converse Ackermann Property of the implicative fragments of Lewis' S3 and S4 respectively. The aim of this paper is to provide all possible axiomatizations with independent axioms of S3o and S40 that can be formulated with a modification of Anderson and Belnap's list of valid entailments.
     
    Export citation  
     
    Bookmark  
  24. Analecta Husserleana vol. 34. The Turning Points of the New Phenomenological Era.Francisco Salto (ed.) - 1991 - Dordrecht:
    No categories
     
    Export citation  
     
    Bookmark  
  25.  23
    Exhaustively axiomatizing rmo→ with a select list of representative theses including restricted Mingle principles.Francisco Salto, Gemma Robles & José M. Méndez - 1999 - Bulletin of the Section of Logic 28 (4):195-206.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  18
    (1 other version)Two Extensions of Lewis’ S3 with Peirce’s Law.Francisco Salto & José M. Méndez - 1999 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 14 (3):407-411.
    We define two extensions of Lewis’ S3 with two versions of Peirce’s Law. We prove that both of them have the Ackermann Property.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. What is really information.Francisco Salto - 2009 - Triple-C 7 (2):125-398.