Extensional logic of hyperintensions

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F12%3A86079570" target="_blank" >RIV/61989100:27240/12:86079570 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-642-28279-9" target="_blank" >http://dx.doi.org/10.1007/978-3-642-28279-9</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-642-28279-9" target="_blank" >10.1007/978-3-642-28279-9</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Extensional logic of hyperintensions

Popis výsledku v původním jazyce

I describe an extensional logic of hyperintensions, viz. Tichý?s Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality in all kinds of context, and validates quantifying into all contexts, including intensional and hyperintensional ones. The availability of an extensional logic of hyperintensions defies the received view that an intensional (let alone hyperintensional) logic is one that fails to validate transparency, compositionality, and quantifying-in. The main featuresof our logic are that the senses and denotations of (non-indexical) terms and expressions remain invariant across contexts and that our ramified type theory enables quantification over any logical objects of any order. The syntax of TIL is the typed lambda calculus; its semantics is based on a procedural redefinition of, inter alia, functional abstraction and application.

Název v anglickém jazyce

Extensional logic of hyperintensions

Popis výsledku anglicky

I describe an extensional logic of hyperintensions, viz. Tichý?s Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality in all kinds of context, and validates quantifying into all contexts, including intensional and hyperintensional ones. The availability of an extensional logic of hyperintensions defies the received view that an intensional (let alone hyperintensional) logic is one that fails to validate transparency, compositionality, and quantifying-in. The main featuresof our logic are that the senses and denotations of (non-indexical) terms and expressions remain invariant across contexts and that our ramified type theory enables quantification over any logical objects of any order. The syntax of TIL is the typed lambda calculus; its semantics is based on a procedural redefinition of, inter alia, functional abstraction and application.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporální aspekty znalostí a informací</a><br>

Návaznosti

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

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 periodika

Lecture Notes in Computer Science. Volume 7269

ISSN

0302-9743

e-ISSN

—

Svazek periodika

7260

Číslo periodika v rámci svazku

December

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

23

Strana od-do

268-290

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—