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 a Vojtěch PATSCHKA

Základní údaje

Originální název

Natural deduction system in the TIL-script language

Autoři

DUŽÍ, Marie (garant), Marek MENŠÍK (203 Česká republika), Miroslav PAJR (203 Česká republika, domácí) 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

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"

Odkazy

URL

Kód RIV

RIV/47813059:19240/19:A0000458

Organizační jednotka

Filozoficko-přírodovědecká fakulta v Opavě

ISBN

978-1-61499-933-1

ISSN

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ěněno: 2. 3. 2020 09:20, Mgr. Kamil Matula, Ph.D.

Anotace

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 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.

@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.

Podrobný výpis o publikaci