Deduction system for TIL-2010

Kód výsledku v 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>

Výsledek na webu

<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

—

Jazyk výsledku

angličtina

Název v původním jazyce

Deduction system for TIL-2010

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Deduction system for TIL-2010

Popis výsledku anglicky

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

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

Kód důvěrnosti údajů

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

Název statě ve sborníku

6th Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2012

ISBN

978-80-263-0313-8

ISSN

—

e-ISSN

—

Počet stran výsledku

9

Strana od-do

33-41

Název nakladatele

Masarykova univerzita

Místo vydání

Brno

Místo konání akce

Karlova Studánka

Datum konání akce

7. 12. 2012

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—