Search
 
loader loading subjects...
cover
Natural Deduction System in the TIL-Script Language
Marie Duží, Marek Menšík, Miroslav Pajr, Vojtěch Patschka
237 - 255
10.3233/978-1-61499-933-1-237
Frontiers in Artificial Intelligence and Applications
Volume 312: Information Modelling and Knowledge Bases XXX
Abstract

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.

$35.00 / €27.50 / £22.00
Add PDF to cart