Dokazování pomocí přirozené dedukce v jazyku TIL-Script
Loading...
Downloads
9
Date issued
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská - Technická univerzita Ostrava
Location
Signature
Abstract
My work is to create an interactive tool for proving using natural deduction in TIL-Script language, To use the tool I will summarize the basics of logical calculus, the theory of Transparent intensional language and it’s computational variant TIL-Script. In the work I present complete list of all the rules for natural deduction that can be used in the tool and final analysis, design and implementation of the tool.
Description
Subject(s)
natural deduction, logic, TIL, axiom, deduction rule, proof