HTLC: Hyperintensional Typed Lambda Calculus

Result code in 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>
Result on the web
<a href="https://www.collegepublications.co.uk/ifcolog/?00044" target="_blank" >https://www.collegepublications.co.uk/ifcolog/?00044</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
HTLC: Hyperintensional Typed Lambda Calculus
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>SC</sub> - Article in a specialist periodical, which is included in the SCOPUS database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Name of the periodical
Journal of applied logics - IfCoLog journal of logics and their applications
ISSN
2055-3706
e-ISSN
—
Volume of the periodical
8
Issue of the periodical within the volume
2
Country of publishing house
GB - UNITED KINGDOM
Number of pages
27
Pages from-to
469-495
UT code for WoS article
—
EID of the result in the Scopus database
2-s2.0-85111138809

Similar results(10)