Data di Pubblicazione:
2021
Citazione:
HTLC: Hyperintensional Typed Lambda Calculus / M. Fait, G. Primiero. - In: JOURNAL OF APPLIED LOGICS. - ISSN 2631-9810. - 8:2(2021), pp. 469-495.
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.
Tipologia IRIS:
01 - Articolo su periodico
Elenco autori:
M. Fait, G. Primiero
Link alla scheda completa:
Link al Full Text: