L-Fuzzy Relations in Coq

Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework.

Management Council for Responsible Labour Relations records, 1970-1979, n.d.

The Management Council for Responsible Labour Relations was a group of industry representatives who sought to improve the public image of management in labour disputes. They hoped to accomplish this by improving communication with the media, as well as by educating the general public about labour issues from management’s perspective. The Council had representatives from Inco, Gulf, Algoma, Westinghouse, Kimberly Clark, Ford, Stelco, Massey Ferguson, Alcan, Shell, Northern Electric, Bank of Montreal, Canada Packers and Dupont.

Two Levels of Motivation and Two Types of Well-Being: Relations Between General and Goal-Specific Motivations, and Eudaimonic and Hedonic Well-Being

In this thesis I assess the individual and joint predictive associations and effects between multiple motivation and well-being concepts. In particular, three pairs of motivation concepts (intrinsic/extrinsic, approach/avoidance, and eudaimonic/hedonic) are assessed simultaneously at two levels of analysis (disposition and goal) and examined in relation to two types of well-being (eudaimonic and hedonic) in two studies, one correlational and the other experimental. Study 1: Using a correlational design, participants (N = 325, M age = 19.10, 87% female) completed self-report measures assessing six motivation and two well-being concepts. Exploratory factor analyses were used to assess patterns of associations among the motivational constructs. Results indicated that constructs displaying conceptual and empirical similarities co-occur, particularly, intrinsic, approach and eudaimonic motivation. Regression models were used to assess predictive relations between the motivational constructs and well-being. Both types of well-being were predicted by approach and avoidance dispositions, and hedonic goals. Additionally, eudaimonic well-being was uniquely predicted by eudaimonic dispositions and goals, and intrinsic dispositions; and hedonic well-being was uniquely predicted by extrinsic dispositions and approach goals. The patterns of associations among motivational constructs, and similarities and differences in the ways they predict each type of well-being, are discussed. Study 2: Using an experimental design, participants (N = 447, M age = 19.30, 88% female) were randomly assigned to one of eight experimental conditions, each involving a manipulation aimed at priming combinations of the three pairs of motivational constructs at the goal level. Participants then completed measures of both types of well-being. ANOVAs were used to assess the main effects and interactions of experimental condition for each of the three pairs of motivational constructs on well-being. Main effects of experimental conditions were non-significant. However, results indicated that focus on each of the three pairs of motivational constructs predicted well-being and that the manipulation impacted well-being indirectly, through experimentally-shifted motivational focus. Few interactions emerged. Implications for future experimental research and the conceptual integration of motivation and well-being constructs are discussed. In conclusion, Studies 1 and 2 inform the motivation and well-being fields in novel ways and provide preliminary steps towards studying these fields from an integrated and comprehensive motivational framework.

Tacitus' Germania and the Jesuit Relations: Intertextuality in the Transatlantic World of the Early Jesuits in New France.

The first Europeans who wrote about the Indigenous people of the newly discovered Americas, not only used medieval, but also classical literature as a tool of reference to describe 'otherness.' As true humanists, the French Jesuits who arrived in the New World were deeply influenced by their classical education and, as claimed by Grafton, reverted to ancient ethnographic texts, like Tacitus' Germania, to support their analyse of the Indigenous people they encountered. Books talk to books. Inspired by Germania, the early French Jesuits managed to convey to their readers a subtle critique of their own civilization, enhancing, like Tacitus, the virtuous aspect of the so-called barbarians they described while illustrating the corruption of their respective civilized worlds. This thesis suggests that the essence of Tacitus' work is definitively present in Pierre Biard's letters and his Relation. His testimonies illustrate the connection the early French Jesuits had with the humanist thought of their time.

An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases

Classical relational databases lack proper ways to manage certain real-world situations including imprecise or uncertain data. Fuzzy databases overcome this limitation by allowing each entry in the table to be a fuzzy set where each element of the corresponding domain is assigned a membership degree from the real interval [0…1]. But this fuzzy mechanism becomes inappropriate in modelling scenarios where data might be incomparable. Therefore, we become interested in further generalization of fuzzy database into L-fuzzy database. In such a database, the characteristic function for a fuzzy set maps to an arbitrary complete Brouwerian lattice L. From the query language perspectives, the language of fuzzy database, FSQL extends the regular Structured Query Language (SQL) by adding fuzzy specific constructions. In addition to that, L-fuzzy query language LFSQL introduces appropriate linguistic operations to define and manipulate inexact data in an L-fuzzy database. This research mainly focuses on defining the semantics of LFSQL. However, it requires an abstract algebraic theory which can be used to prove all the properties of, and operations on, L-fuzzy relations. In our study, we show that the theory of arrow categories forms a suitable framework for that. Therefore, we define the semantics of LFSQL in the abstract notion of an arrow category. In addition, we implement the operations of L-fuzzy relations in Haskell and develop a parser that translates algebraic expressions into our implementation.

México and the United States; a study of subjects affecting their polítical, commercial and social relations, made with a view to their promotion

UANL

México, and the United States; their mutual relations and common interests 7

UANL

Upper Semicontinuous Extensions of Binary Relations.

Suzumura shows that a binary relation has a weak order extension if and only if it is consistent. However, consistency is demonstrably not sufficient to extend an upper semi-continuous binary relation to an upper semicontinuous weak order. Jaffray proves that any asymmetric (or reflexive), transitive and upper semicontinuous binary relation has an upper semicontinuous strict (or weak) order extension. We provide sufficient conditions for existence of upper semicontinuous extensions of consistence rather than transitive relations. For asymmetric relations, consistency and upper semicontinuity suffice. For more general relations, we prove one theorem using a further consistency property and another with an additional continuity requirement.

Consistent Relations

Consistency, a natural weakening of transitivity introduced in a seminal contribution by Suzumura (1976b), has turned out to be an interesting and promising concept in a variety of areas within economic theory. This paper summarizes its recent applications and provides some new observations in welfarist social choice and in population ethics. In particular, it is shown that the conclusion of the welfarism theorem remains true if transitivity is replaced by consistency and that an impossibility result in variable-population social-choice theory turns into a possibility if transitivity is weakened to consistency.

Les relations verticales gerees par des contrats, etude theorique et application au contrat d'electricite entre Norsk-Hydro Canada Inc. et Hydro Quebec..

Rapport de recherche

Annales de Domingo Francisco de San Anton Chimalpahin Cuauhtlehuanitzin, sixieme et septieme relations (1258-1612)

UANL

La dimension juridique des relations entre Samuel de Champlain et les Autochtones de la Nouvelle-France

Contrairement à ce qui s’est produit dans les colonies espagnoles, en Nouvelle-Fance, les Français ont privilégié le maintien de relations pacifiques avec les peuples autochtones. Même si les représentants de la couronne sont autorisés à les assujettir par la force, très rapidement, le roi exige le respect des traités conclus avec eux. Ces alliances constituent d’ailleurs la première étape d’un processus de sédentarisation et de conversion qui doit, dans l’esprit des autorités, culminer par l’assujettissement des Autochtones à la couronne. Pour l’heure, au début du XVIIe siècle, ils sont considérés comme des alliés vivant selon leurs propres coutumes. C’est pourquoi Champlain doit renoncer à appliquer le droit français dans les cas où un Français a été tué par un Autochtone, alors qu’il n’envisage même pas d’imposer ces règles quand les protagonistes sont tous autochtones.