WinKE
Edit Page
Report
Scan day: 09 February 2014 UTC
12
Virus safety - good
Description: An interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information is available at this site, as are academic papers on the design of the software.
WinKE: A Proof Assistant for Teaching Logic WinKE is an interactive proof assistant based on the KE calculus, a refutation system which combines features from Smullyan's analytic tableaux and Gentzen's natural deduction. The software has been designed to serve as a tutoring system to support the teaching of logic and reasoning on an introductory level.
Size: 364 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | WinKE |
| Keywords: | WinKE, logic, KE, proof assistant, teaching logic, interactive learning environments |
| Description: | |
| IP-address: | 146.50.4.118 |