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's sense under a weakening of the cardinality constraint for the domain of hyperintensions.
HTLC: Hyperintensional Typed Lambda Calculus / M. Fait, G. Primiero. - In: JOURNAL OF APPLIED LOGICS. - ISSN 2631-9810. - 8:2(2021), pp. 469-495.
HTLC: Hyperintensional Typed Lambda Calculus
G. Primiero
Ultimo
2021
Abstract
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's sense under a weakening of the cardinality constraint for the domain of hyperintensions.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
HTLC.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
544.7 kB
Formato
Adobe PDF
|
544.7 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
