Natural deduction system in the TIL-script language

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 (guarantor), Marek MENŠÍK (203 Czech Republic), Miroslav PAJR (203 Czech Republic, belonging to the institution) and Vojtěch PATSCHKA

Edition

312. vyd. Amsterdam, Frontiers in Artificial Intelligence and Applications, p. 237-255, 19 pp. 2019

Publisher

IOS Press

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Netherlands

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

electronic version available online

References:

URL

RIV identification code

RIV/47813059:19240/19:A0000458

Organization unit

Faculty of Philosophy and Science in Opava

ISBN

978-1-61499-933-1

ISSN

DOI

http://dx.doi.org/10.3233/978-1-61499-933-1-237

Keywords in English

Beta-conversion; Funcional application; Hyperintesionality; Natural deduction; Three kinds of context; TIL; TIL-Script

Abstract

V originále

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.

Citovat

DUŽÍ, Marie, Marek MENŠÍK, Miroslav PAJR and 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. 312th ed. Amsterdam: IOS Press, 2019, p. 237-255. ISBN 978-1-61499-933-1. Available from: https://dx.doi.org/10.3233/978-1-61499-933-1-237.

@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 and 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}. 312th ed. Amsterdam: IOS Press, 2019, p.~237-255. ISBN~978-1-61499-933-1. Available from: https://dx.doi.org/10.3233/978-1-61499-933-1-237.

Detailed Information on Publication Record