Intuitionistic implication without disjunction
2010; Oxford University Press; Volume: 22; Issue: 3 Linguagem: Inglês
10.1093/logcom/exq058
ISSN1465-363X
AutoresGerard R. Renardel de Lavalette, A. Hendriks, D.H.J. de Jongh,
Tópico(s)Logic, programming, and type systems
ResumoJournal Article Intuitionistic implication without disjunction Get access Gerard R. Renardel de Lavalette, Gerard R. Renardel de Lavalette Johann Bernoulli Institute, University of Groningen, The Netherlands.E-mail: g.r.renardel.de.lavalette@rug.nl Search for other works by this author on: Oxford Academic Google Scholar Alex Hendriks, Alex Hendriks Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands.E-mail: a.hendriks@uva.nl; d.h.j.deJongh@uva.nl Search for other works by this author on: Oxford Academic Google Scholar Dick H.J. de Jongh Dick H.J. de Jongh Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands.E-mail: a.hendriks@uva.nl; d.h.j.deJongh@uva.nl Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 22, Issue 3, June 2012, Pages 375–404, https://doi.org/10.1093/logcom/exq058 Published: 24 November 2010 Article history Received: 15 July 2010 Published: 24 November 2010
Referência(s)