D
2019
Natural deduction system in the TIL-script language
DUŽÍ, Marie; Marek MENŠÍK; Miroslav PAJR and Vojtěch PATSCHKA
Basic information
Original name
Natural deduction system in the TIL-script language
Authors
DUŽÍ, Marie; Marek MENŠÍK; Miroslav PAJR and Vojtěch PATSCHKA
Edition
312. vyd. Amsterdam, Frontiers in Artificial Intelligence and Applications, p. 237-255, 19 pp. 2019
Other information
Type of outcome
Proceedings paper
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Netherlands
Confidentiality degree
is not subject to a state or trade secret
Publication form
electronic version available online
RIV identification code
RIV/47813059:19240/19:A0000458
Organization unit
Faculty of Philosophy and Science in Opava
EID Scopus
2-s2.0-85059573815
Keywords in English
Beta-conversion; Funcional application; Hyperintesionality; Natural deduction; Three kinds of context; TIL; TIL-Script
Tags
International impact, Reviewed
In the original language
In this paper we deal with the extension of the functionalities of the TIL-Script language, namely the proof system based on natural deduction. The system processes a subset of the set of TIL-Script constructions that are typed to v-construct a truth-value. Since TIL-Script is a functional programming language based on a hyperintensional lambda calculus with procedural semantics, we also describe the way how to validly apply beta conversion and how to operate in a hyperintensional context where the very procedure is an object of predication.
Displayed: 10/2/2026 08:41