Combination of constraint systems II: Rational amalgamation
نویسندگان
چکیده
منابع مشابه
Combination of Constraint Systems II: Rational Amalgamation
38 and the rich amount of interesting relationships between them, are now well-understood (e.g., Co83, Ma88]). We believe that free amalgamation, rational amalgamation and a further construction called \innnite amalgamation" (still to be investigated) reeect this role on the higher level of amalgamation constructions. Many of the results that we have obtained for free and rational amalgamation ...
متن کاملA characterization of rational amalgamation operations
This paper deals with amalgamation of fuzzy opinions when a fixed number of individuals is faced with an unknown number of alternatives. The aggregation rule is defined by means of intensity aggregation operations that verify certain ethical conditions, and assuming fuzzy rationality as defined in [1, 2]. A necessary and sufficient condition for non-irrationality is presented, along with commen...
متن کاملCombination of Constraint
In a previous paper we have introduced a method that allows one to combine decision procedures for uniiability in disjoint equational theories. Lately, it has turned out that the prerequisite for this method to apply|namely that uniication with so-called linear constant restrictions is decidable in the single theories|is equivalent to requiring decidability of the positive fragment of the rst o...
متن کاملCombination of Constraint SolvingTechniques
In a previous paper we have introduced a method that allows one to combine decision procedures for uniiability in disjoint equational theories. Lately, it has turned out that the prerequisite for this method to apply|namely that uniication with so-called linear constant restrictions is decidable in the single theories|is equivalent to requiring decidability of the positive fragment of the rst o...
متن کاملHeegaard Splittings of Sufficiently Complicated 3-manifolds Ii: Amalgamation
Let M1 and M2 be compact, orientable 3-manifolds, and M the manifold obtained by gluing some component F of ∂M1 to some component of ∂M2 by a homeomorphism φ. We show that when φ is “sufficiently complicated” then (1) the amalgamation of low genus, unstabilized, boundary-unstabilized Heegaard splittings of Mi is an unstabilized splitting of M , (2) every low genus, unstabilized Heegaard splitti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2001
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00164-x