dblp.uni-trier.dewww.uni-trier.de

Francisco Salto

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
4EEGemma Robles, José M. Méndez, Francisco Salto: Minimal Negation in the Ternary Relational Semantics. Reports on Mathematical Logic 39: 47-65 (2005)
2002
3 José M. Méndez, Francisco Salto, Gemma Robles: Anderson and Belnap's Minimal Positive Logic with Minimal Negation. Reports on Mathematical Logic 36: 117-130 (2002)
2000
2 José M. Méndez, Francisco Salto: Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'. Studia Logica 66(3): 409-418 (2000)
1995
1 José M. Méndez, Francisco Salto: Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom. Notre Dame Journal of Formal Logic 36(3): 407-413 (1995)

Coauthor Index

1José M. Méndez [1] [2] [3] [4]
2Gemma Robles [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)