Francisco Salto

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 3

Top Topics

Propositional Logic

Sequent Calculus

Top Venues

J. Philos. Log.

J. Appl. Non Class. Logics

Brain Informatics

Publications

Francisco Salto, Carmen Requena, Paula Alvarez-Merino, Víctor Rodríguez, Jesús Poza, Roberto Hornero
Electrical analysis of logical complexity: an exploratory eeg study of logically valid/invalid deducive inference. Brain Informatics 10 (1) (2023)
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) (2019)
José M. Méndez, Gemma Robles, Francisco Salto
An Interpretation of Łukasiewicz's 4-Valued Modal Logic. J. Philos. Log. 45 (1) (2016)
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) (2014)
José M. Méndez, Gemma Robles, Francisco Salto
Ticket Entailment plus the mingle axiom has the variable-sharing property. Log. J. IGPL 20 (1) (2012)
Gemma Robles, José M. Méndez, Francisco Salto
Minimal Negation in the Ternary Relational Semantics. Reports Math. Log. 39 (2005)
José M. Méndez, Francisco Salto, Gemma Robles
Anderson and Belnap's Minimal Positive Logic with Minimal Negation. Reports Math. Log. 36 (2002)
José M. Méndez, Francisco Salto
Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'. Stud Logica 66 (3) (2000)
José M. Méndez, Francisco Salto
A Natural Negation Completion of Urquhart's Many-Valued Logic C. J. Philos. Log. 27 (1) (1998)
José M. Méndez, Francisco Salto
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom. Notre Dame J. Formal Log. 36 (3) (1995)