Title of article :
Pedagogical Natural Deduction Systems: the Propositional Case
Author/Authors :
Colson, Loïc L.I.T.A. University of Metz, France , Michel, David L.I.T.A. University of Metz, France
Abstract :
Abstract: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hy- potheses made in a proof must be motivated by some example. It is established that such systems are negationless. The expressive power of the pedagogical version of some propositional calculi are studied.
Keywords :
mathematical logic , negationless mathematics , constructive mathematics , natural deduction , typed λ , calculus
Journal title :
Journal of J.UCS (Journal of Universal Computer Science)
Journal title :
Journal of J.UCS (Journal of Universal Computer Science)
