Search results for "Unification"
showing 10 items of 60 documents
How partnerships end in guillemots Uria aalge : chance events, adaptive change, or forced divorce?
2007
Divorce in socially monogamous species can result from different mechanisms, for example, chance events, active desertion of the partner, or the intrusion of a third individual ousting the partner. We compared the predictions associated with such mechanisms with data from common guillemots (Uria aalge) breeding on the Isle of May, Scotland. The data cover the years 1982--2005 and show a yearly divorce rate of 10.2%. In most divorces (86%), one of the original partners moved to another breeding site, whereas the other bird stayed and bred with a new partner. On average, movers had a significantly lower breeding success after divorce, stayers were largely unaffected, whereas the incoming bird…
Unification in superintuitionistic predicate logics and its applications
2018
AbstractWe introduce unification in first-order logic. In propositional logic, unification was introduced by S. Ghilardi, see Ghilardi (1997, 1999, 2000). He successfully applied it in solving systematically the problem of admissibility of inference rules in intuitionistic and transitive modal propositional logics. Here we focus on superintuitionistic predicate logics and apply unification to some old and new problems: definability of disjunction and existential quantifier, disjunction and existential quantifier under implication, admissible rules, a basis for the passive rules, (almost) structural completeness, etc. For this aim we apply modified specific notions, introduced in proposition…
Unification in first-order transitive modal logic
2019
We introduce unification in first-order transitive modal logics, i.e. logics extending Q–K4, and apply it to solve some problems such as admissibility of rules. Unifiable formulas in some extensions of Q–K4 are characterized and an explicit basis for the passive rules (those with non-unifiable premises) is provided. Both unifiability and passive rules depend on the number of logical constants in the logic; we focus on extensions of Q–K4 with at most four constants ⊤,⊥,□⊥,◊⊤. Projective formulas, defined in a way similar to propositional logic, are used to solve some questions concerning the disjunction and existence properties. A partial characterization of first-order modal logics with pr…
La riunificazione familiare dello straniero nei trattati sui diritti umani
2010
Family reunification contributes to the integration of aliens in the countries of destination and the development of their personality as well, but it entails the increase in the demand for social facilities. As a consequence States tend to reduce the opportunities for family reunification. The study analyses the activity of the organs of control set up by the international conventions on human rights and aims at identifying the obligations on States’ sovereignty stemming from the rules of these conventions protecting family life or disciplining family reunification. In assessing the lawfulness of States’ rules on family reunification or decisions on individual cases these organs verify whe…
Latvijas Vēstures Institūta Žurnāls. 2014, Nr. 2 (91)
2014
Valsts kultūrkapitāla fonds
Ikonoklazm – spór religijny czy polityczny? Leona III idea obrony czystości wiary i uniformizacji państwa
2017
W historii kultu obrazów oraz jego właściwego pojmowania zrodził się w starożytności ruch, który – zgodnie z tradycją starotestamentową – sprzeciwiał się takiej formie pobożności. Reformy ikonoklastyczne, zapoczątkowane przez kalifa Jazyda II, zyskiwały coraz szersze poparcie w kręgach chrześcijańskich, szczególnie wśród monofiytów. Autor wskazuje nie tylko na aspekty teologiczne sporu o obrazy w VIII w., ale także naświetla problem jego politycznego wykorzystania przez cesarza Leona III, dążącego (po częściowym odzyskaniu ziem Bizancjum spod panowania islamskiego) do uniformizacji państwa i chrześcijaństwa. Po naszkicowaniu ogólnej sytuacji politycznej, autor przedstawia zarzuty, jakie cec…
La CGT du Front populaire à Vichy. De la réunification à la dissolution (1934-1940)
2007
National audience; Le Front populaire est certainement l’un des épisodes les plus marquants de l’histoire contemporaine française. Phénomène global, politique, social, culturel, il reste pour le mouvement syndical un épisode unique. Réunification syndicale, vague de grèves de mai-juin 36, semaine de quarante heures, congés payés, conventions collectives, reconnaissance syndicale, constituent dans l’histoire de la CGT une expérience fondatrice à plus d’un titre. Soixante-dix ans plus tard, ce livre retrace, à partir d’archives en grande partie inédites, la chronique syndicale de ces évènements qui modifièrent les structures, la stratégie et les pratiques de la CGT, ainsi que son rapport à l’…
TOPOLOGICAL QUANTUM DOUBLE
1994
Following a preceding paper showing how the introduction of a t.v.s. topology on quantum groups led to a remarkable unification and rigidification of the different definitions, we adapt here, in the same way, the definition of quantum double. This topological double is dualizable and reflexive (even for infinite dimensional algebras). In a simple case we show, considering the double as the "zero class" of an extension theory, the uniqueness of the double structure as a quasi-Hopf algebra. A la suite d'un précédent article montrant comment l'introduction d'une topologie d'e.v.t. sur les groupes quantiques permet une unification et une rigidification remarquables des différentes définitions,…
Categories, Musical Instruments, and Drawings: A Unification Dream
2019
The mathematical formalism of category theory allows to investigate musical structures at both low and high levels, performance practice (with musical gestures) and music analysis. Mathematical formalism can also be used to connect music with other disciplines such as visual arts. In our analysis, we extend former studies on category theory applied to musical gestures, including musical instruments and playing techniques. Some basic concepts of categories may help navigate within the complexity of several branches of contemporary music research, giving it a unitarian character. Such a 'unification dream,' that we can call 'cARTegory theory,' also includes metaphorical references to topos th…
Care and reunification in a Cape Verdean family: Changing articulations of family and legal ties
2018
This article looks at the interaction between transnational family relationships, on the one hand, and family-related immigration policies, on the other. Taking the conflicting concerns that arose between administrative decision-makers and family members during an attempt to reunite a Cape Verdean family spread across several countries as an example, the questions of what ‘family’ means, what relationships are included and the nature of the relationships involved answered differently by different actors will be shown. The article discusses the way in which the regulation of transnational mobility according to specific categories of eligibility is giving social ties a concrete legal form whi…