Mereologická struktura procedur
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F17%3A86098995" target="_blank" >RIV/61989100:27240/17:86098995 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.klemens.sav.sk/fiusav/organon/?q=en/mereologicka-struktura-procedur" target="_blank" >http://www.klemens.sav.sk/fiusav/organon/?q=en/mereologicka-struktura-procedur</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Mereologická struktura procedur
Popis výsledku v původním jazyce
Tento článek se zabývá vlastnostmi strukturovaných procedur z hlediska jejich částí, tj. z hlediska mereologického. Hlavním výsledkem je poznání, že procedury jsou strukturované celky s jednoznačně určenými částmi, přičemž vztah celek – část je zde relací částečného uspořádání. Přitom je však tato mereologie žádoucím způsobem neklasická, neplatí pro ni princip extenzionality a idempotence.
Název v anglickém jazyce
Mereological structure of procedures
Popis výsledku anglicky
This paper deals with properties of procedures from the point of view of their parts, that is from a mereological point of view. The main result is this. Procedures are structured wholes with unambiguously determined constituent parts, and the part-whole relation is partial order. Furthermore, this mereology is non-classical in a desired way, because the principles of extensionality and idempotence do not hold.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/GA15-13277S" target="_blank" >GA15-13277S: Hyperintensionální logika pro analýzu přirozeného jazyka</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2017
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
Název periodika
Organon F
ISSN
1335-0668
e-ISSN
—
Svazek periodika
24
Číslo periodika v rámci svazku
S
Stát vydavatele periodika
SK - Slovenská republika
Počet stran výsledku
22
Strana od-do
5-26
Kód UT WoS článku
000397837800002
EID výsledku v databázi Scopus
—