Tichého cesta k procedurální sémantice

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F05%3A00031441" target="_blank" >RIV/67985955:_____/05:00031441 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Tichého cesta k procedurální sémantice

Popis výsledku v původním jazyce

Na Tichého statích z r. 1968 a 1969 (?Smysl a procedura? a ?Intensions in Terms of Turing Machines?) se ukazuje, že byly předzvěstí jeho transparentní intenzionální logiky.

Název v anglickém jazyce

Tichý?s track to procedural sémantice

Popis výsledku anglicky

It is shown that Tichý has founded his transparent intensional logic already in 1968 and 1969 in his articles ?Sense and Procedure? (in Czech) and ?Intensions in Terms of Turing Machines?.

Druh

C - Kapitola v odborné knize

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2005

Kód důvěrnosti údajů

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

Název knihy nebo sborníku

Sondy do dejín logiky a metodológie vied na Slovensku a v Čechách

ISBN

80-89238-02-5

Počet stran výsledku

9

Strana od-do

59-67

Počet stran knihy

—

Název nakladatele

IRIS

Místo vydání

Bratislava

Kód UT WoS kapitoly

—