TY - JOUR T1 - Mereologická struktura procedur JF - Organon F Y1 - 2017 A1 - Duží, Marie KW - Mereology KW - procedure KW - structure KW - TIL construction AB - The paper deals with properties of structured procedures from a mereological point of view, i.e. with respect to their constitutive elements. As a result, it is argued that procedures amount to structured complexes (wholes) made of uniquely determined parts and that the part-whole relation is of the partial-ordering type. However, such a mereology is not a standard one: the principle of extensionality and the idempotence law do not hold there. IS - 1 VL - 24 SP - 5-26 UR - http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2017/1/5-26.pdf U2 - Articles U3 - 526 U5 - 1 TI - The Mereological Structure of Procedures ER -