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
Základní údaje
Originální název Natural deduction system in the TIL-script language
Autoři DUŽÍ, Marie, Marek MENŠÍK, Miroslav PAJR a Vojtěch PATSCHKA.
Vydání 312. vyd. Amsterdam, Frontiers in Artificial Intelligence and Applications, od s. 237-255, 19 s. 2019.
Nakladatel IOS Press
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Nizozemské království
Utajení není předmětem státního či obchodního tajemství
Forma vydání elektronická verze "online"
WWW URL
Organizace Filozoficko-přírodovědecká fakulta – Slezská univerzita v Opavě – Repozitář
ISBN 978-1-61499-933-1
ISSN 0922-6389
Doi http://dx.doi.org/10.3233/978-1-61499-933-1-237
Klíčová slova anglicky Beta-conversion; Funcional application; Hyperintesionality; Natural deduction; Three kinds of context; TIL; TIL-Script
Štítky ÚI
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: Mgr. Kamil Matula, učo 1145. Změněno: 4. 4. 2019 14:33.
Anotace
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.
Vytisknout
Přidat do schránky Zobrazeno: 3. 5. 2024 21:24