All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...

This paper first presents a simple explanation for the min/max bounds which are used in interval probability theory ( I n ) [l], possibility theory [2], fuzzy rough sets [4], and vague logic [ 5 ] . Based on this definition, a computable version of first-order fuzzy logic is defined, where all of the upper bounds for instances of a theorem and its negation are guaranteed to eventually be listed...

Coherence measures are a tool to compare those fuzzy sets that are sensitive to their own similarity as well as to their fuzzy nature. Within this article we can find three generalizations made about the definition of coherence measures: a first one for any fuzzy set, a second one for any definition about strong negation, and a final one for an extension in those coherence measures that, as a r...

A new – the 207-th intuitionistic fuzzy implication is introduced over sets. Over its basis, negation, conjunctions and disjunctions are constructed. For first time, it shown that all three generated by same coincide, whence their respective different. Some properties of newly constructed operations studied.

In this paper we present a fuzzy version of SHOIN (D), the corresponding Description Logic of the ontology description language OWL DL. We show that the representation and reasoning capabilities of fuzzy SHOIN (D) go clearly beyond classical SHOIN (D). Interesting features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets...

Simulations and bisimulations are known to be useful for abstracting and comparing formal systems, and they have recently been introduced into fuzzy systems. In this study, we provide sound and complete logical characterizations for simulation and bisimulation, which are defined over fuzzy labeled transition systems via two variants of the Hennessy-Milner Logic. The logic for characterizing fuz...

In real life, the degrees of certainty that correspond to one of the same expert can diier drastically, and fuzzy control algoirthms translate these diierent degrees of uncertainty into diierent control strategies. In such situation, it is reasonable to choose a fuzzy control methodology that is the least vulnerable to this kind of uncertainty. We show that this \robustness" demand leads to min...

The purpose of this paper is to commence studying the incompatibility in the Atanassov’s intuitionistic fuzzy sets framework. In order to do this, firstly we deal with the concept of T -incompatible sets, where T is an intuitionistic tnorm, relating it with the N -contradictory sets, where N is a intuitionistic fuzzy negation. Next, an axiomatic model for measuring T -incompatibility is introdu...

The lack of double negation and de Morgan properties makes fuzzy logic unsymmetrical. This is the reason why fuzzy versions of notions like closure operator or Galois connection deserve attention for both antiotone and isotone cases, since they are not dual. This paper offers them attention, comming to the following conclusions: some kind of hardly describable ”local preduality” still makes pos...

all practical digital circuits are usually a mixture of combinational and sequential logic. flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. the concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...