Yager's new class of implications Jf and some classical tautologies

Yager's classes of fuzzy implications: some properties and intersections

Recently, Yager in the article “On some new classes of implication operators and their role in approximate reasoning” [12] has introduced two new classes of fuzzy implications called the f -generated and g-generated implications. Along similar lines, one of us has proposed another class of fuzzy implications called the h-generated implications. In this article we discuss in detail some properti...

Intuitionistic Fuzzy Implications and the Axioms of Intuitionistic Logic

During years of research, there have been defined 153 intuitionistic fuzzy implications. In the paper, it is checked which of these implications satisfy which axioms of the intuitionistic logic, whether as (classical) tautologies or as intuitionistic fuzzy tautologies. Some open problems, related to the operations of intuitionistic fuzzy propositional calculus, are formulated.

A new class of function spaces on domains of R^d and its relations to classical function spaces

Some improvements in fuzzy turing machines

In this paper, we improve some previous definitions of fuzzy-type Turing machines to obtain degrees of accepting and rejecting in a computational manner. We apply a BFS-based search method and some level’s upper bounds to propose a computational process in calculating degrees of accepting and rejecting. Next, we introduce the class of Extended Fuzzy Turing Machines equipped with indeterminacy s...

Inferentializing Consequence

The proof of correctness and completeness of a logical calculus w.r.t. a given semantics can be read as telling us that the tautologies (or, more generally, the relation of consequence) specified in a model-theoretic way can be equally well specified in a proof-theoretic way, by means of the calculus (as the theorems, resp. the relation of inferability of the calculus). Thus we know that both f...