Transparent intensional logic
id:
transparent-intensional-logic-261-5575501
title:
Transparent intensional logic
text:
Transparent intensional logic is a logical system created by Pavel Tichý. Due to its rich procedural semantics TIL is in particular apt for the logical analysis of natural language. From the formal point of view, TIL is a hyperintensional, partial, typed lambda calculus. TIL applications cover a wide range of topics from formal semantics, philosophy of language, epistemic logic, philosophical, and formal logic. TIL provides an overarching semantic framework for all sorts of discourse, whether co
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Transparent_intensional_logic
date created:
date modified:
2024-01-05T13:42:28Z
main entity:
{"identifier":"Q7834783","url":"https://www.wikidata.org/entity/Q7834783"}
image:
fields total:
13
integrity:
13