Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and “very true” are presented here both algebraically in the framework of residuated lattices and proof-theoretically as hypersequent calculi. Completeness with respect to standard algebras based on t-norms, embeddings between logics, decidability, and the finite embedding prope...

Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by A and B, (ii) it is entailed by A in T , and (iii) it is unsatisfiable with B in T . Theory interpolants are used in model checking to accelerate the computation of reachability relations. We present a novel method for computing...

The objective of this research was to develop a screening inventory for Thai Muslims spouses at risk of domestic violence behaviors in Satun Province. The study was conducted with the subject group of 1,140 households consisting of 2,280 people recruited through multi-stage sampling. The data were analyzed using the R program to find out the indexes of item-objective congruence, t-values, corre...

As a natural generalization of a measure space, Butnariu and Klement introduced T-tribes of fuzzy sets with T-measures. They gave a complete characterization of T-measures for a Frank triangular norm T. Here we characterize T-measures with respect to non-Frank strict triangular norms. We show the speciic roles of Frank triangular norms and a newly introduced family, nearly Frank triangular norm...

Finding strongly standard complete axiomatizations for t-norm based fuzzy logics (i.e. complete for deductions with infinite sets of premises w.r.t. semantics on the real unit interval [0, 1]) is still an open problem in general, even though results are already available for some particular cases like some infinitary logics based on a continuous t-norm or certain expansions of Monoidal t-norm b...

Intuitionistic fuzzy rough sets are investigated in a general framework which includes generalizations of many related results in early literatures. A new definition of intuitionistic fuzzy rough sets is given with the analysis of its basic properties based on the notion of two universes, general binary relations, and a pair ðT , IÞ of intuitionistic fuzzy t-norm T and intuitionistic fuzzy impl...

The optimistic multigranulation T-fuzzy rough set model was established based on multiple granulations under T-fuzzy approximation space by Xu et al., 2012. From the reference, a natural idea is to consider pessimistic multigranulation model in T-fuzzy approximation space. So, in this paper, the main objective is to make further studies according to Xu et al., 2012. The optimistic multigranulat...

In the literature, there are a lot of methods concerning the problem of ordering the interval numbers k , ~ ] , [y,g], ... (', ') or the fuzzy ones A, B , ... (see 4, and for a n overview of methods). All of these methods can be classified a s belonging t o two different approaches. (i) Ordering t h e crisp or the fuzzy intervals using binary order relations: [ c , ~ ] 4 [ y , ~ ] , A 5 B, .......

In the paper aggregations of fuzzy relations using functions of n variables are considered. After recalling properties of fuzzy relations, aggregation functions which preserve: reflexivity, irreflexivity, T -asymmetry, T -antisymmetry, symmetry, S-connectedness, T -transitivity, negative Stransitivity, T -S-semitransitivity and T -S-Ferrers property of fuzzy relations, where T is a t-norm and S...