Based on fuzzy set theory, flexible querying enables users to express preferences inside requirements. Quantifications and preferences on data have led us to define the notion of fuzzy integers ( f). This framework has been extended to f and f, in order to dealing with queries based on difference or division operations. In this paper we study how to define fuzzy order relations between such fuz...

Composition of fuzzy operators often appears and it is natural to ask when the order of composition does not change the result. In previous papers, we characterized permutability in the case of fuzzy consequence operators and fuzzy interior operators. We also showed the connection between the permutability of the fuzzy relations and the permutability of their induced fuzzy operators. In this wo...

We present an inference system for rst-order constrained clauses with equality modulo associativity (A). Our procedure is refutationally complete and reduces to Knuth-Bendix completion modulo A in the equational case. As an essential ingredient we present the rst |as far as we know| A-compatible reduction ordering total on the ground A-congruence classes.

algebraic logic: Full models, Frege systems, and metalogical properties he formulates an institutional analogue of the property of congruence and analyses how it helps in the preservation of other metalogical properties such as conjunction, disjunction, the deduction-detachment theorem, and two versions of reductio ad absurdum. In partial contrast, Raftery’s paper The equational definability of...

In this study, 4-month-old infants’ and adults’ spontaneous preferences for emotional and neutral displays with direct and averted gaze are investigated using visual preference paradigms. Specifically, by presenting two approach-oriented emotions (happiness and anger) and two avoidance-oriented emotions (fear and sadness), we asked whether the pattern of emotion–gaze interaction suggested by th...

9 The theory of chi processes with the mismatch operator is studied. Four congruence relations are investigated. These are late open congruence, early open congruence, ground congruence and 11 barbed congruence. The late and early open congruence relations are the chi calculus counterparts of the weak late and early congruence relations of pi calculus. Both turn out to be special cases 13 of th...

0957-4174/$ see front matter 2008 Elsevier Ltd. A doi:10.1016/j.eswa.2008.04.001 * Corresponding author. E-mail address: [email protected] (C.H. Aladag A given observation in time series does not only depend on preceding one but also previous ones in general. Therefore, high order fuzzy time series approach might obtain better forecasts than does first order fuzzy time series approach. Definin...

Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterizations of barbed congruence, such as the notion of normal bisimulation developed by Sangiorgi for the higherorder π-calculus, are difficult to obtain. In this paper, we study bisimulations in two simple higher-order calculi w...

In [4] J. MYCIELSKI introduced a very general notion of multidimensional local interpretability of first ordet theories. If we definethe relation ~ between theories T, S by T~ S iff Tis multidimensionaly locally interpretable in S, then ~is a. preordering. The induced partia.l ordering is a la.ttice ordering, it is called tke lattice of local interpretability iypes. We consider theories formali...