FRANCISCO
SALTO ALEMANY
Catedrático de Universidad
Universidad de Salamanca
Salamanca, EspañaPublications in collaboration with researchers from Universidad de Salamanca (16)
2019
-
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value
Journal of Applied Non-Classical Logics, Vol. 29, Núm. 3, pp. 307-325
2016
-
An Interpretation of Łukasiewicz’s 4-Valued Modal Logic
Journal of Philosophical Logic, Vol. 45, Núm. 1, pp. 73-87
2015
-
Brady's Deep relevant logic DR plus the qualified factorization principles has the depth relevant condition
Logique et Analyse, Vol. 58, Núm. 232, pp. 547-565
2014
-
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3
Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 303-332
2012
-
Ticket entailment plus the mingle axiom has the variable-sharing property
Logic Journal of the IGPL, Vol. 20, Núm. 1, pp. 355-364
2011
-
A weak logic with the axiom mingle lacking the variable-sharing property
Bulletin of the Section of Logic, Vol. 40, Núm. 3-4, pp. 195-202
-
Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules
Logique et Analyse, Vol. 54, Núm. 215, pp. 343-358
2007
-
The basic constructive logic for negation-consistency defined with a propositional falsity constant
Bulletin of the Section of Logic, Vol. 36, Núm. 1-2, pp. 45-57
2005
-
A constructive negation defined with a negation connective for logics including BP+
Bulletin of the Section of Logic, Vol. 34, Núm. 3, pp. 177-189
2002
-
Four kinds of subminimal negation within the context of the basic positive logic B+
Logique et Analyse, Vol. 45, Núm. 177-178, pp. 119-128
2001
-
Restricting the contraction axiom in dummett's lc: A sublogic of LC with the converse ackermann property, the logic LCo
Bulletin of the Section of Logic, Vol. 30, Núm. 3, pp. 139-146
2000
-
Intuitionistic prepositional logic without 'contraction' but with 'reductio'
Studia Logica, Vol. 66, Núm. 3, pp. 409-418
1999
-
Exhaustively Axiomatizing RMO→ with a select list of representative theses including restricted mingle principles
Bulletin of the Section of Logic, Vol. 28, Núm. 4, pp. 195-206
-
More on Peirce's law
Bulletin of the Section of Logic, Vol. 28, Núm. 1, pp. 27-38
1998
-
A natural negation completion of Urquhart's many-valued logic C
Journal of Philosophical Logic, Vol. 27, Núm. 1, pp. 75-84
1995
-
Urquhart’s C with intuitionistic negation: Dummett’s LC without the contraction axiom
Notre Dame Journal of Formal Logic, Vol. 36, Núm. 3, pp. 407-413