Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

29

JUCS
2007

favoriteEmaildiscussreport

102views more JUCS 2007»

Pedagogical Natural Deduction Systems: the Propositional Case

13 years 11 months ago

Pedagogical Natural Deduction Systems: the Propositional Case

Download www.jucs.org

: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses 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. Key Words: mathematical logic, negationless mathematics, constructive mathematics, natural deduction, typed λ-calculus

Loïc Colson, David Michel

Real-time Traffic

JUCS 2007 | Natural Deduction | Natural Deduction Systems | Pedagogical Natural Deduction |

claim paper

Related Content

» Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4

» Deductive Algorithmic Knowledge

» A Minimal Propositional Type Theory

» Efficiently Simulating HigherOrder Arithmetic by a FirstOrder Theory Modulo

» Rewriting for Fitch Style Natural Deductions

» The Complexity of the Warranted Formula Problem in Propositional Argumentation

» Atomic Cut Elimination for classical Logic

» Decompositions of Natural Numbers From a Case Study in Mathematical Theory Exploration

» TopDown Query Processing in First Order Deductive Databases under the DWFS

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2007
Where	JUCS
Authors	Loïc Colson, David Michel

Comments (0)