Deduction system for TIL-2010
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F12%3A86082731" target="_blank" >RIV/61989100:27240/12:86082731 - isvavai.cz</a>
Result on the web
<a href="http://nlp?muni.cz/raslan/raslan12.pdf#page=41" target="_blank" >http://nlp?muni.cz/raslan/raslan12.pdf#page=41</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Deduction system for TIL-2010
Original language description
The goal of this paper is to introduce a deductive system for Tichý's Transparent Intensional Logic (TIL). Tichý defined a sequent calculus for pre-1988 TIL, that is TIL based on the simple theory of types. Thus we first briefly recapitulate the rules ofthis simple-type calculus. Then we describe the adjust-ments of the calculus so that it be applicable to hyperintensions within the rami-fied hierarchy of types. TIL operates with a single procedural semantics for all kinds of logical-semantic context,be it extensional, intensional or hyperinten-sional. We show that operating in a hyperintensional context is far from being technically trivial. Yet it is feasible. To this end we introduce a substitution method that operates on hyperintensions. The syntax of TIL is the typed lambda calculus. Its semantics is based on a procedural redefinition of, inter alia, func-tional abstraction and application. The only two non-standard features are a hy-perintension (called Trivialization) that pre
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
6th Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2012
ISBN
978-80-263-0313-8
ISSN
—
e-ISSN
—
Number of pages
9
Pages from-to
33-41
Publisher name
Masarykova univerzita
Place of publication
Brno
Event location
Karlova Studánka
Event date
Dec 7, 2012
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—