the islamic sharia as a full legal value system with sustainable resources (qur’an and the tradition) as well as benefiting from wisdom as inner messenger is the most adaptable value system with changes of the world. the logic used in qur’an and the tradition is a multi-valued and continuous logic. in this value system, religious statements have been expressed in continuous and graded linguisti...

Abstract We describe how properties of metric groups and unitary representations can be presented in continuous logic. In particular we find L ω 1 -axiomatization amenability. also show that the case locally compact some uniform version negation Kazhdan’s property (T) viewed as a union first-order axiomatizable classes. will see when these are preserved under taking elementary substructures.

The paper deals with fuzzy Horn logic (FHL) which is a fragment of predicate fuzzy logic with evaluated syntax. Formulas of FHL are of the form of simple implications between identities. We show that one can have Pavelka-style completeness of FHL w. r. t. semantics over the unit interval [0, 1] with (residuated lattices given by) left-continuous t-norm and a residuated implication, provided tha...

We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropriate temporal logic and describe two such monitoring algorithms for the real-time logic MITL.

This paper investigates multi-modal aspects of audiovisual quality assessment for interactive communication services. It shows how perceived auditory and visual qualities integrate to an overall audiovisual quality perception in different experimental contexts. Two audiovisual experiments are presented and provide experimental data for the present analysis. First, two experimental contexts are ...

In this study, we present a continuous-valued logical approach to generalize the sigmoid function. Our starting point is kappa function, which known as unary operator in logic. First extend function (a,b) interval, and then interpret generalized limit of extended when b tend negative positive infinity, respectively. Since induced by an additive generator strict t-norm or t-conorm, dependent. Ba...