Pedagogical Natural Deduction Systems: the Propositional Case
|
|
|
|
|
|
|
|
نویسنده
|
Colson Loïc ,Michel David
|
|
منبع
|
journal of universal computer science - 2007 - دوره : 13 - شماره : 10 - صفحه:1396 -1410
|
|
چکیده
|
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.
|
|
کلیدواژه
|
mathematical logic ,negationless mathematics ,constructive mathematics ,natural deduction ,typed λ-calculus
|
|
آدرس
|
L.I.T.A. University of Metz, France, L.I.T.A. University of Metz, France
|
|
پست الکترونیکی
|
david.michel@univ-metz.fr
|
|
|
|
|
|
|