Konceptuální systémy
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F04%3A00010919" target="_blank" >RIV/00216224:14330/04:00010919 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Conceptual Systems.
Popis výsledku v původním jazyce
Concepts, logical analysis of natural language, transparent intensional logic A way of obtaining logical structure(s)(concepts) underlying the given expression is described; concepts are explicated as logical constructions. Any set of simple concepts unambiguously determines a conceptual system, which can underlie a (fragment of a) language. The theory is based on transparent intensional logic, inspired by typed lambda calculus.
Název v anglickém jazyce
Conceptual Systems.
Popis výsledku anglicky
Concepts, logical analysis of natural language, transparent intensional logic A way of obtaining logical structure(s)(concepts) underlying the given expression is described; concepts are explicated as logical constructions. Any set of simple concepts unambiguously determines a conceptual system, which can underlie a (fragment of a) language. The theory is based on transparent intensional logic, inspired by typed lambda calculus.
Klasifikace
Druh
B - Odborná kniha
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2004
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ů
Údaje specifické pro druh výsledku
ISBN
ISBN 1435-3415
Počet stran knihy
150
Název nakladatele
LOGOS Verlag Berlin 2004
Místo vydání
Berlin
Kód UT WoS knihy
—