|
|
Applicability of the United Nations Convention on Contracts for the International Sale of Goods focusing on licence agreements and software
Rýdl, Jiří ; Bříza, Petr (advisor) ; Pauknerová, Monika (referee)
Applicability of the United Nations Convention on Contracts for the International Sale of Goods focusing on licence agreements and software Abstract The first three chapters deal with the requirements of applicability of the United Nations Convention on Contracts for the International Sale of Goods ("Vienna Convention"). The general aim is to describe the requirements, to identify the interpretative problems associated with this area and to critically evaluate the different doctrinal and case-law approaches to these problems. The individual chapters deal successively with the positive definition of the scope of the Vienna Convention, the negative definition of its scope, and finally with the possibilities for the contracting parties to influence the application of the Vienna Convention. In particular, attention is paid in this part to the definition of the terms that are central to the assessment of applicability of the Vienna Convention yet are not defined by the Vienna Convention itself. These are primarily the concepts of goods and contracts of sale contained in Article 1 of the Vienna Convention or the concepts of the substantial part of the materials necessary for production, and the preponderant part of the obligations, which are used in Article 3 of the Vienna Convention. Closer attention is also...
|
|
|
Aspects of the Cut-Elimination Theorem
Rýdl, Jiří ; Švejdar, Vítězslav (advisor) ; Bílková, Marta (referee)
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].
|
|
| |
guest ::
