Katsaras 1 defined a fuzzy norm on a vector space to construct a fuzzy vector topological structure on the space. Some mathematicians have defined fuzzy norms on a vector space from various points of view 2–4 . In particular, Bag and Samanta 5 , following Cheng and Mordeson 6 , gave an idea of fuzzy norm in such a manner that the corresponding fuzzy metric is of Kramosil and Michálek type 7 . T...

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...

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...

The logic MTL, Monoidal t-norm based logic was presented by F. Estva and L. Godo and discuss several properties of MTL-algebra in [6] The Boolean logic (BL) was introduced by P. Hajek and discuss the properties in [1].The fuzzy reasoning and implication operators was discussed by Ying in ([2],[3]). A proper logical system for fuzzy propositional calculus and a innovative arithmetical configurat...

Ontology consistency has been shown to be undecidable for a wide variety of fairly inexpressive fuzzy Description Logics (DLs). In particular, for any t-norm “starting with” the Lukasiewicz t-norm, consistency of crisp ontologies (w.r.t. witnessed models) is undecidable in any fuzzy DL with conjunction, existential restrictions, and (residual) negation. In this paper we show that for any t-norm...

We de ne approximate xed point in fuzzy norm spaces and prove the existence theorems, we also consider approximate pair constructive map- ping and show its relation with approximate fuzzy xed point.

In Mixed Fuzzy Rule Formation [Int. J. Approx. Reason. 32 (2003) 67] a method to extract mixed fuzzy rules from data was introduced. The underlying algorithm’s performance is influenced by the choice of fuzzy t-norm and t-conorm, and a heuristic to avoid conflicts between patterns and rules of different classes throughout training. In the following addendum to [Int. J. Approx. Reason. 32 (2003)...