Du fait des caractères spécifiques des professions de santé qui impliquent toujours directement la naissance, la vie et la mort d’une personne et qui portent inévitablement sur les droits des patients encadrés toujours davantage par les dispositions du droit, le contrôle particulier de l’exercice de la profession est assuré par les organisations professionnelles. En Thaïlande, il existe plusieurs organismes professionnels en matière de santé ; ils peuvent être classifiés selon leur structure : certains sont des organes de l’Etat et prennent la forme d’une commission de profession ; d’autres sont des ordres regroupant l’ensemble des membres d’une même profession. Il convient tout d’abord d’analyser leur statut juridique, une question toujours controversée, à la fois relatif au mode d’activité, à savoir, si les ordres professionnels ont un caractère public ou privé ; et relatif à la structure, voire leur caractère corporatif. L’analyse du caractère corporatif des ordres nous permet ensuite de constater l’incohérence de leur organisation interne avec leur caractère corporatif : en particulier, la confusion et la centralisation des pouvoirs au sein d’une seule commission détenant le pouvoir suprême. De ce fait, leur organisation nécessite véritablement une réforme qui sera proposée dans la thèse. Par la suite, seront présentées les attributions des organisations professionnelles de santé en les classifiant en fonction de leur nature juridique : pouvoir administratif et pouvoir disciplinaire, ce qui est important car, en principe, les procédures du contrôle appliquées à chaque pouvoir sont distinctes. Néanmoins, du fait de la non-reconnaissance par le juge administratif thaïlandais de la nature juridictionnelle de certains actes, leurs pouvoirs sont soumis à l’unité du mode du contrôle par le juge administratif. C’est un autre problème principal que cette thèse tente de résoudre. / Because of the specific characteristics of health professionals that always directly involve the birth, life and death of a person and that may inevitably affect the rights of patients increasingly guaranteed by law, the particular control of the practice of these professions is assured by professional organisations. In Thailand, there are several professional organisations in the domain of health and medicine; they can be classified according to their structure: some are state bodies and take the form of a professional commission; others are professional councils that bring together practitioners of the same profession. Firstly, it is necessary to analyse their legal status, an always controversial question, regarding both their mode of activity, namely, whether the professional councils should be considered public or private entities; and regarding their structure, or precisely their corporate character. Analysis of the corporate character of professional councils allows us then to see the conflict between their internal organisation and their corporate character: in particular, the confusion and the centralisation of powers within a single committee holding the supreme power. Therefore, their organisation absolutely needs reform which will be proposed in the thesis. After that, will be presented the powers of professional organisations by classifying according to their legal nature: administrative power and disciplinary power, which is important because, in principle, control procedures applied to each power are distinct. However, due to the non-recognition by Thai administrative judge of the judicial nature of certain acts, their powers are subject to the same mode of control by administrative judge. This is another major problem that this thesis attempts to solve.

Ordre public-förbehållet innebär att svensk domstol har rätt att avstå från att tillämpa enutländsk rättsordning, erkänna eller verkställa en utländsk dom, om det skulle leda tillett resultat som är uppenbart oförenligt med grunderna för rättsordningen i Sverige. Vilkakonsekvenser som är uppenbart oförenliga med grunderna för rättsordningen har intepreciserats av lagstiftaren. Frågan har i stället lämnats åt rättstillämpningen, främstdomstolen, att avgöra. I förslaget från Europeiska kommissionen om domstols behörighet,tillämplig lag samt erkännande och verkställighet i mål om makars förmögenhetsförhållandenåterfinns ett ordre public-förbehåll. Den lag som anvisas enligt lagvalsreglernai förslaget ska tillämpas även om det inte är fråga om lagen i en medlemsstat. Medanledning av lagvalsreglernas universella karaktär är det angeläget att fastställa de konsekvensersom är förenliga med grunderna för rättsordningen i Sverige. Sannolikhetenför att den utländska rätten leder till ett resultat som strider mot grunderna för densvenska rättsordningen är större då makarnas förmögenhetsförhållanden ska avgöras enligten rättsordning vars lagbestämmelser är baserade på gammal tradition och kultur.Hit hör varken länder inom EU eller Norden, eftersom grunderna för rättsordningen inämnda länder liknar den svenska. Enligt svensk rättsuppfattning är det viktigt att degrundläggande rättigheterna som vardera make tillförsäkras inte åsidosätts på grund avdennes kön, ras, hudfärg, läggning, religion eller annan åskådning. Viktigt är även, beroendepå giftorättsgodsets storlek, att den ”svagare” maken tillförsäkras ett tillräckligtekonomiskt skydd, antingen genom äktenskapsrättsliga eller arvsrättsliga regler, i synnerhetdå den utländska rätten saknar regler om rätt att erhålla bodelning. / Public policy means that the Swedish court has the right to refuse the application of foreignlaw, recognize or enforce a foreign judgment if it would lead to a result which ismanifestly incompatible with public policy in Sweden. The result that is manifestly incompatiblewith public policy has not been specified by the legislature. The questionhas been left to the application of the law, primarily the court, to decide. A public policy-provisioncan be found in the proposal from the European Commission on jurisdiction,applicable law and the recognition and enforcement of decisions in matters of matrimonialproperty regimes. Any law determined in accordance with the provisions of theconflict-of-law rule shall apply even if it is not the law of a Member State. As a result ofthe universal nature of the conflict-of-law rule it is crucial to determine the resultswhich are compatible with public policy in Sweden. The probability that the foreign lawleads to a result which is manifestly incompatible with Swedish law is greater when thematters of matrimonial property regimes are settled according to a law whose statutoryprovisions are based on ancient tradition and culture. The countries included here areneither the Nordic countries nor the Member States of the European Union because thelegal system of these countries is very similar to the Swedish legal system. According toSwedish conception of legality it is important that the fundamental rights, ensured foreveryone, is not overrode because of a person´s gender, race, colour, sexual orientation,religion or other views. Of importance is also that the ”weaker” spouse is ensured a sufficientfinancial protection, either through matrimonial rights or inheritance rights, inparticular when foreign law lacks rules about division of the matrimonial property.

Texte remanié de: Diss.--Fachbereich Alterstumswissenschaften--Marburg--Philipps-Universität, 1994. / Notes bibliogr. Résumé en allemand et en anglais.

Texte remanié de: Thèse de doctorat--Histoire. / Bibliogr. p. 273-304. Glossaire. Index.

Texte remanié de: habilitationsschrift--Würzburg--Julius-Maximilians-Universität, 1994. / Bibliogr. p. 514-560. Notes bibliogr. Index p.561-600.

Diss.--Philosophische Fakultät I--Universität Zürich, 1989.

Cette thèse étudie comment l'intégration du calcul dans les démonstrations peut les simplifier. Nous nous intéressons pour cela à la déduction modulo et à la surdéduction, deux formalismes proches dans lesquels le calcul est incorporé dans les démonstrations via un système de réécriture. Pour améliorer la recherche mécanisée de démonstration, nous considérons trois critères de simplicité. L'admissibilité des coupures permet de restreindre l'espace de recherche des démonstrations, mais elle n'est pas toujours assurée en déduction modulo. Nous définissons une procédure qui complète le système de réécriture pour, au final, admettre les coupures. Au passage, nous montrons comment transformer toute théorie pour l'intégrer à la partie calculatoire des démonstrations. Nous montrons ensuite comment la déduction modulo permet de réduire arbitrairement la taille des démonstrations, en transférant des étapes de déduction dans le calcul. En particulier, nous appliquons ceci à l'arithmétique d'ordre supérieur pour démontrer que les réductions de taille qui sont possibles en augmentant l'ordre dans lequel on se place disparaissent si on travaille en déduction modulo. Suite à ce dernier résultat, nous avons recherchés quels sont les systèmes d'ordre supérieur pouvant être simulés au premier ordre, en déduction modulo. Nous nous sommes intéressés aux systèmes de type purs et nous montrons comment ils peuvent être encodés en surdéduction, ce qui offre de nouvelles perspectives concernant leur normalisation et la recherche de démonstration dans ceux-ci. Nous développons également une méthodologie qui permet d'utiliser la surdéduction pour spécifier des systèmes de déduction. / This thesis study how computations may simplify proofs and aims to make mechanized proof search better. We are particularly interested in deduction modulo and superdeduction, two close formalisms allowing the integration of computations into proofs through a rewrite system. We consider three simplicity criteria related to proof search. Cut admissibility makes it possible to restrain the proof-search space but does not always hold in deduction modulo. We define a completion method transforming a rewrite system representing computations so that at the end cut admissibility holds. By the way, we show how to transform any first-order theory to integrate it into the computational part of proofs. We show then how deduction modulo unboundedly reduces proof lengths, by transferring deduction steps into computations. In particular, we apply this to higher-order arithmetic to show that proof-length speedups between ith- and i+1st-order arithmetic disappear when working in deduction modulo, making it possible to work in first-order logic modulo without increasing proof lengths. Following this last result, we investigate which higher-order systems can be simulated in first order using deduction modulo. We are interested by pure type systems, which are generic type systems for the lambda-calculus with dependent types. We show how these systems can be encoded in superdeduction. This offers new perspectives on their normalization and on proof search within them. We also develop a methodology to describe how superdeduction can be used to specify deductive systems.

Tesi--Storia--Firenze--Università di Firenze, 1997. / Bibliogr. p. 9-48.

Thèse de doctorat--Lausanne--Faculté des Lettres, 2004. / Bibliogr. p. 433-484.

Texte remanié de: Diss--Philosophische Fakultät--Aachen--Rheinisch-westfälische technische Hochschule, 1997. / Bibliogr. p. 243-268.