| DUŽÍ, Marie, Marek MENŠÍK, Miroslav PAJR a Vojtěch PATSCHKA. Natural deduction system in the TIL-script language. In Endrjukaite, T., Jaakkola, H., Dudko, A., Kiyoki, Y., Thalheim, B., Yoshida, N. Frontiers in Artificial Intelligence and Applications. 312. vyd. Amsterdam: IOS Press. s. 237-255. ISBN 978-1-61499-933-1. doi:10.3233/978-1-61499-933-1-237. 2019. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{30429,
author = {Duží, Marie and Menšík, Marek and Pajr, Miroslav and Patschka, Vojtěch},
address = {Amsterdam},
booktitle = {Frontiers in Artificial Intelligence and Applications},
doi = {http://dx.doi.org/10.3233/978-1-61499-933-1-237},
edition = {312},
editor = {Endrjukaite, T., Jaakkola, H., Dudko, A., Kiyoki, Y., Thalheim, B., Yoshida, N.},
keywords = {Beta-conversion; Funcional application; Hyperintesionality; Natural deduction; Three kinds of context; TIL; TIL-Script},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Amsterdam},
isbn = {978-1-61499-933-1},
pages = {237-255},
publisher = {IOS Press},
title = {Natural deduction system in the TIL-script language},
url = {http://ebooks.iospress.nl/volumearticle/50915},
year = {2019}
}
TY - JOUR
ID - 30429
AU - Duží, Marie - Menšík, Marek - Pajr, Miroslav - Patschka, Vojtěch
PY - 2019
TI - Natural deduction system in the TIL-script language
PB - IOS Press
CY - Amsterdam
SN - 9781614999331
KW - Beta-conversion
KW - Funcional application
KW - Hyperintesionality
KW - Natural deduction
KW - Three kinds of context
KW - TIL
KW - TIL-Script
UR - http://ebooks.iospress.nl/volumearticle/50915
L2 - http://ebooks.iospress.nl/volumearticle/50915
N2 - 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.
ER -
DUŽÍ, Marie, Marek MENŠÍK, Miroslav PAJR a Vojtěch PATSCHKA. Natural deduction system in the TIL-script language. In Endrjukaite, T., Jaakkola, H., Dudko, A., Kiyoki, Y., Thalheim, B., Yoshida, N. \textit{Frontiers in Artificial Intelligence and Applications}. 312. vyd. Amsterdam: IOS Press. s.~237-255. ISBN~978-1-61499-933-1. doi:10.3233/978-1-61499-933-1-237. 2019.
|
