Substitution rules with respect to a context

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F20%3A10239573" target="_blank" >RIV/61989100:27240/20:10239573 - isvavai.cz</a>

Result on the web

<a href="https://link.springer.com/chapter/10.1007%2F978-3-030-14907-9_6" target="_blank" >https://link.springer.com/chapter/10.1007%2F978-3-030-14907-9_6</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-14907-9_6" target="_blank" >10.1007/978-3-030-14907-9_6</a>

Result language

angličtina

Original language name

Substitution rules with respect to a context

Original language description

In this paper, we deal with Leibniz&apos;s rule of substitution of identicals, and describe how the rule can be applied in the TIL-Script lan- guage. The main goal is to introduce the algorithm of valid application of the substitution rules in all the three kinds of context that we distinguish in the TIL-Script language. The language is a computational variant of TIL, which is a hyperintensional, partial typed lambda-calculus. Hyperintensional, because the meaning of TIL l-terms are procedures producing functions rather than the denoted functions themselves. Partial, because TIL is a logic of partial functions, and typed, because all the entities of TIL ontology receive a type. Based on the results of context recognition the algorithm makes it possible to validly apply the substitution rules and derive relevant new pieces of analytic information.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GA18-23891S" target="_blank" >GA18-23891S: Hyperintensional Reasoning over Natural Language Texts</a><br>

Continuities

S - Specificky vyzkum na vysokych skolach

Publication year

2020

Confidentiality

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

Article name in the collection

Lecture Notes in Electrical Engineering. Volume 554

ISBN

978-3-030-14906-2

ISSN

1876-1100

e-ISSN

1876-1119

Number of pages

12

Pages from-to

55-66

Publisher name

Springer

Place of publication

Cham

Event location

Ostrava

Event date

Sep 11, 2018

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—