|
|
Aplikovatelnost Úmluvy OSN o smlouvách o mezinárodní koupi zboží se zvláštním zaměřením na licenční smlouvy a software
Rýdl, Jiří ; Bříza, Petr (vedoucí práce) ; Pauknerová, Monika (oponent)
Aplikovatelnost Úmluvy OSN o smlouvách o mezinárodní koupi zboží se zvláštním zaměřením na licenční smlouvy a software Abstrakt První tři kapitoly práce se zabývají podmínkami, za kterých je možné aplikovat Vídeňskou úmluvu o smlouvách o mezinárodní koupi zboží ("Vídeňská úmluva"). Obecným cílem je popsat podmínky aplikovatelnosti, identifikovat interpretační problémy, které se s touto oblastí pojí, a kriticky zhodnotit jednotlivé přístupy teorie i soudní praxe k těmto problémům. Jednotlivé kapitoly se zabývají postupně pozitivním vymezením působnosti Vídeňské úmluvy, negativním vymezením její působnosti, a nakonec možnostmi smluvních stran aplikaci Vídeňské úmluvy ovlivnit. Pozornost je v této části věnována zejména vymezení jednotlivých pojmů, které jsou pro posouzení aplikace Vídeňské úmluvy stěžejní, přesto je však Vídeňská úmluva sama nedefinuje. Jedná se zejména o pojmy zboží a kupní smlouvy obsažených v článku 1 Vídeňské úmluvy nebo pojmy podstatná část věcí nutných pro výrobu a převažující část závazků, které jsou používány v článku 3 Vídeňské úmluvy. Bližší pozornost je věnována také interpretaci článku 95 na níž dodnes nepanuje shoda. Závěrečná kapitola pak navazuje na kapitoly úvodní. Obecné závěry z prvních kapitol jsou zde aplikovány na konkrétní problematiku softwaru a licenčních smluv. Je zde...
|
|
|
Aspects of the Cut-Elimination Theorem
Rýdl, Jiří ; Švejdar, Vítězslav (vedoucí práce) ; Bílková, Marta (oponent)
I give a proof of the cut-elimination theorem (Gentzen's Hauptsatz) for an intuitionistic multi-succedent calculus. The proof follows the strategy of eliminating topmost maximal-rank cuts that allows for a straightforward way to measure the upper bound of the increase of derivations during the procedure. The elimination of all cut inferences generates a superexponential increase. I follow the structure of the proof for classical logic given in Švejdar's [18], modifying only the critical cases related to two restricted rules. Motivated by the diversity found in the early literature on this topic, I survey selected aspects of various formulations of sequent calculi. These are reflected in the proof of the Hauptsatz and its preliminaries. In the end I give one corollary of cut elimination, the Midsequent theorem, which is one of the three applications to be found already in Gentzen's [10]. Powered by TCPDF (www.tcpdf.org)
|
|
| |
host ::
