Triangular norms which are join-morphisms in 3-dimensional fuzzy set theory

The n-dimensional fuzzy sets have been introduced as a generalization of interval-valued fuzzy sets, Atanassov's intuitionistic and interval-valued intuitionistic fuzzy sets. In this paper we investigate t-norms on 3-dimensional sets which are join-morphisms. Under some additional conditions we show that they can be represented using a representation which generalizes a similar representation for t-norms in interval-valued fuzzy set theory

Properties of Bipolar Fuzzy Hypergraphs

In this article, we apply the concept of bipolar fuzzy sets to hypergraphs and investigate some properties of bipolar fuzzy hypergraphs. We introduce the notion of $A-$ tempered bipolar fuzzy hypergraphs and present some of their properties. We also present application examples of bipolar fuzzy hypergraphs

Neutrality and Many-Valued Logics

In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.g. frameworks of the following deductive calculi: Hilbert's style, sequent, and hypersequent. We present a general way that allows to construct systematically analytic calculi for a large family of non-Archimedean many-valued logics: hyperrational-valued, hyperreal-valued, and p-adic valued logics characterized by a special format of semantics with an appropriate rejection of Archimedes' axiom. These logics are built as different extensions of standard many-valued logics (namely, Lukasiewicz's, Goedel's, Product, and Post's logics). The informal sense of Archimedes' axiom is that anything can be measured by a ruler. Also logical multiple-validity without Archimedes' axiom consists in that the set of truth values is infinite and it is not well-founded and well-ordered. On the base of non-Archimedean valued logics, we construct non-Archimedean valued interval neutrosophic logic INL by which we can describe neutrality phenomena.Comment: 119 page

Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Fully Invariant and Characteristic Interval-Valued Intuitionistic Fuzzy Dual Ideals of BF-algebras

The notion of interval-valued intuitionistic fuzzy sets was first introduced by Atanassov and Gargov as a generalization of both interval-valued fuzzy sets and intuitionistic fuzzy sets. Satyanarayana et. al., applied the concept of interval-valued intuitionistic fuzzy ideals and interval-valued intuitionistic fuzzy dual ideals to BF-algebras. In this paper, we introduce the notion of fully invariant and characteristic interval-valued intuitionistic fuzzy dual ideals of BF-algebras and investigate some of its properties

Generalized intuitionistic fuzzy laplace transform and its application in electrical circuit

In this paper we describe the generalized intuitionistic fuzzy laplace transform method for solving first order generalized intutionistic fuzzy differential equation. The procedure is applied in imprecise electrical circuit theory problem. Here the initial condition of those applications is taken as Generalized Intuitionistic triangular fuzzy numbers (GITFNs).Publisher's Versio