Point-and-Click Logic
Students of proof theory, a branch of formal logic, can benefit from computerized tools. We describe the principles behind one such tool called ProEd. This tool is targeted especially at novice students, and therefore it is designed to support effortless exploratory use. We moreover argue that focus...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University
2005-04-01
|
| Series: | Informatics in Education |
| Subjects: | |
| Online Access: | https://infedu.vu.lt/doi/10.15388/infedu.2005.06 |
| _version_ | 1798035579192999936 |
|---|---|
| author | Matti NYKÄNEN |
| author_facet | Matti NYKÄNEN |
| author_sort | Matti NYKÄNEN |
| collection | DOAJ |
| description | Students of proof theory, a branch of formal logic, can benefit from computerized tools. We describe the principles behind one such tool called ProEd. This tool is targeted especially at novice students, and therefore it is designed to support effortless exploratory use. We moreover argue that focusing on root-first proof construction in Sequent proof systems helps attain this effortlessness. |
| first_indexed | 2024-04-11T20:59:04Z |
| format | Article |
| id | doaj.art-56f36f5f688745ad903336dd75d9a627 |
| institution | Directory Open Access Journal |
| issn | 1648-5831 2335-8971 |
| language | English |
| last_indexed | 2024-04-11T20:59:04Z |
| publishDate | 2005-04-01 |
| publisher | Vilnius University |
| record_format | Article |
| series | Informatics in Education |
| spelling | doaj.art-56f36f5f688745ad903336dd75d9a6272022-12-22T04:03:33ZengVilnius UniversityInformatics in Education1648-58312335-89712005-04-01418710010.15388/infedu.2005.06Point-and-Click LogicMatti NYKÄNEN0Department of Computer Science, FIN-00014 University of Helsinki P.O. Box 68 (Gustaf Hällströmin katu 2b), FinlandStudents of proof theory, a branch of formal logic, can benefit from computerized tools. We describe the principles behind one such tool called ProEd. This tool is targeted especially at novice students, and therefore it is designed to support effortless exploratory use. We moreover argue that focusing on root-first proof construction in Sequent proof systems helps attain this effortlessness.https://infedu.vu.lt/doi/10.15388/infedu.2005.06logicuser interfaces |
| spellingShingle | Matti NYKÄNEN Point-and-Click Logic Informatics in Education logic user interfaces |
| title | Point-and-Click Logic |
| title_full | Point-and-Click Logic |
| title_fullStr | Point-and-Click Logic |
| title_full_unstemmed | Point-and-Click Logic |
| title_short | Point-and-Click Logic |
| title_sort | point and click logic |
| topic | logic user interfaces |
| url | https://infedu.vu.lt/doi/10.15388/infedu.2005.06 |
| work_keys_str_mv | AT mattinykanen pointandclicklogic |