PEZLAR, Ivo. A Few Notes on Lambda-Computation and TIL-Construction (21st Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, 10. 5. 2016). In 21st Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, 9th - 13th April 2016. 2016.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name A Few Notes on Lambda-Computation and TIL-Construction (21st Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, 10. 5. 2016)
Authors PEZLAR, Ivo (203 Czech Republic, guarantor, belonging to the institution).
Edition 21st Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, 9th - 13th April 2016, 2016.
Other information
Original language English
Type of outcome Presentations at conferences
Field of Study 60300 6.3 Philosophy, Ethics and Religion
Country of publisher Poland
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14210/16:00087923
Organization unit Faculty of Arts
Keywords in English lambda calculus; computation; transparent intensional logic
Tags rivok
Tags International impact, Reviewed
Changed by Changed by: Mgr. Vendula Hromádková, učo 108933. Changed: 3/4/2017 17:49.
Abstract
Lambda calculus (abbr. LC) originally developed by (Church, 1932) can be regarded as the most universal tool for expressing computations (Turing, 1937). Its fundamental computation rule, so called beta-reduction, is defined in terms of substitution and it embodies the idea of function application. Consequently, each application of beta-reduction rule can be regarded as a single computational step. There is, however, at least one formal system utilizing lambda calculus in which these correspondences (roughly put, computational step = beta-reduction = function application) do not hold. It is called transparent intensional logic (abbr. TIL) and it was developed by (Tichý, 1988). I will, however, focus on one of its later variants found in (Duží, Jespersen, Materna, 2010). In the present talk I will examine this deviation from standard lambda calculus and explore the outcomes it entails for the corresponding system.
Links
GA16-19395S, research and development projectName: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Acronym: Sémantické pojmy)
Investor: Czech Science Foundation
PrintDisplayed: 22/7/2024 12:30