Functional programming Based on Transparent Intensional Logic

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F07%3A86076084" target="_blank" >RIV/61989100:27240/07:86076084 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Functional programming Based on Transparent Intensional Logic

Original language description

In the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the TIL-Script language, its design and implementation. TIL is a brainchild of the Czech logician Pavel Tichy and in many ways a revolutionary logical system. Thework on the TIL-Script project is being pursued by the team of undergraduate students. The paper we provide is a brief review of the TIL-Script syntax.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

RASLAN 2007

ISBN

978-80-210-4471-5

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

—

Publisher name

Masarykova univerzita Brno

Place of publication

Brno

Event location

Karlova Studanka

Event date

Dec 14, 2007

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

000268015500005