Results 1 
4 of
4
HumanReadable MachineVerifiable Proofs for Teaching Constructive Logic
 IJCAR Workshop on Proof Transformations, Proof Presentations and Complexity of Proofs (PTP01), http: //www.tcs.informatik.unimuenchen.de/~abel/ptp01.ps.gz
, 2001
"... A linear syntax for natural deduction proofs in firstorder intuitionistic logic is presented, which has been an effective tool for teaching logic. The proof checking algorithm is also given, which is the core of the tutorial proof checker Tutch. This syntax is then extended to proofs on the ass ..."
Abstract

Cited by 29 (0 self)
 Add to MetaCart
A linear syntax for natural deduction proofs in firstorder intuitionistic logic is presented, which has been an effective tool for teaching logic. The proof checking algorithm is also given, which is the core of the tutorial proof checker Tutch. This syntax is then extended to proofs on the assertion level which resemble single inferences one would make in a rigorous proof. The resulting language has only four constructs.
HumanReadable MachineVeriable Proofs for Teaching Constructive Logic
"... Abstract. A linear syntax for natural deduction proofs in rstorder intuitionistic logic is presented, which has been an eective tool for teaching logic. The proof checking algorithm is also given, which is the core of the tutorial proof checker Tutch. This syntax is then extended to proofs on the ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. A linear syntax for natural deduction proofs in rstorder intuitionistic logic is presented, which has been an eective tool for teaching logic. The proof checking algorithm is also given, which is the core of the tutorial proof checker Tutch. This syntax is then extended to proofs on the assertion level which resemble single inferences one would make in a rigorous proof. The resulting language has only four constructs. Checking of these proofs is decidable, and an ecient algorithm is given. 1
A Link Between Human Behaviour and Computers ’ Future
"... Abstract. Many studies have been written about children’s development, and their behaviours during the phases they encounter before becoming adults. Thus, some clear links can be established between children’s development and A.I. future trends. We here summarize the most important comparison charac ..."
Abstract
 Add to MetaCart
Abstract. Many studies have been written about children’s development, and their behaviours during the phases they encounter before becoming adults. Thus, some clear links can be established between children’s development and A.I. future trends. We here summarize the most important comparison characteristics.