DUŽÍ, Marie, Marek MENŠÍK, Miroslav PAJR a Vojtěch PATSCHKA. Natural deduction system in the TIL-script language. Online. In Endrjukaite, T., Jaakkola, H., Dudko, A., Kiyoki, Y., Thalheim, B., Yoshida, N. Frontiers in Artificial Intelligence and Applications. 312. vyd. Amsterdam: IOS Press, 2019, s. 237-255. ISBN 978-1-61499-933-1. Dostupné z: https://dx.doi.org/10.3233/978-1-61499-933-1-237. |
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. Online. 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, 2019, s.~237-255. ISBN~978-1-61499-933-1. Dostupné z: https://dx.doi.org/10.3233/978-1-61499-933-1-237.
|