HTLC: Hyperintensional Typed Lambda Calculus

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F21%3A10246664" target="_blank" >RIV/61989100:27240/21:10246664 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.collegepublications.co.uk/ifcolog/?00044" target="_blank" >https://www.collegepublications.co.uk/ifcolog/?00044</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

HTLC: Hyperintensional Typed Lambda Calculus

Popis výsledku v původním jazyce

In this paper we introduce the logic HTLC, for Hyperintensional Typed Lambda Calculus. The system extends the typed lambda calculus with hyperintensions and related rules. The polymorphic nature of the system allows to reason with expressions for extensional, intensional and hyperintentsional entities. We inspect meta-theoretical properties and show that HTLC is complete in Henkin&apos;s sense under a weakening of the cardinality constraint for the domain of hyperintensions.

Název v anglickém jazyce

HTLC: Hyperintensional Typed Lambda Calculus

Popis výsledku anglicky

In this paper we introduce the logic HTLC, for Hyperintensional Typed Lambda Calculus. The system extends the typed lambda calculus with hyperintensions and related rules. The polymorphic nature of the system allows to reason with expressions for extensional, intensional and hyperintentsional entities. We inspect meta-theoretical properties and show that HTLC is complete in Henkin&apos;s sense under a weakening of the cardinality constraint for the domain of hyperintensions.

Druh

J_SC - Článek v periodiku v databázi SCOPUS

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

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

Návaznosti

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

Rok uplatnění

2021

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

Journal of applied logics - IfCoLog journal of logics and their applications

ISSN

2055-3706

e-ISSN

—

Svazek periodika

8

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

27

Strana od-do

469-495

Kód UT WoS článku

—

EID výsledku v databázi Scopus

2-s2.0-85111138809