Results 141 to 150 of about 982 (172)

Intuitionistic Fuzzy Predicate Logic

2016
The idea for evaluation of the propositions was extended for predicates (see Barwise (Handbook of mathematical logic, 1989, [1]), Crossley et al. (What is mathematical logic? 1972, [2]), van Dalen (Logic and structure, 2013, [3]), Ebbinghaus et al. (Mathematical logic, 1994, [4]), Mendelson (Introduction to mathematical logic, 1964, [5]), Shoenfield ...
openaire   +1 more source

A proof-theoretical investigation of global intuitionistic (fuzzy) logic

Archive for Mathematical Logic, 2004
In this paper, hypersequent calculi for global intuitionistic logic and global intuitionistic fuzzy logic are introduced. Both logics are predicate logics extended by an additional logical symbol, \(\square\), called globalization (alternatively also Baaz delta), which keeps 1 and puts the rest to 0.
openaire   +2 more sources

Combs Method Used in an Intuitionistic Fuzzy Logic Application

2007
In this paper, we describe the optimization of membership functions in an Intuitionistic Fuzzy Logic application developed in the Matlab software environment. A unique formulation, known as Combs method, is used to control the problem of `exponential rule expansion' in the rule base.
Jon E. Ervin, Sema E. Alptekin
openaire   +1 more source

Fuzzy propositional logic and two-sided (intuitionistic) fuzzy propositions

Proceedings of IEEE 5th International Fuzzy Systems, 2002
The propositional logic structure is summarized and the logical properties are discussed. Different forms of fuzzy propositional expressions are investigated. Simplifications and conversions between logical expressions are investigated; exact equality and approximate of these conversions are discussed. The logical structure of intuitionistic (two-sided)
T. Ciftcibasi, D. Altunay
openaire   +1 more source

Intuitionistic Fuzzy Modal Logics

2016
The first step of the development of the idea of intuitionistic fuzziness (see [1]), was related to introducing an intuitionistic fuzzy interpretation of the classical (standard) modal operators “necessity” and “possibility” (see, e.g., [2, 3, 4, 5]). In the period 1988–1993, we defined eight new operators, extending the first two ones.
openaire   +1 more source

A Natural Deduction System for Intuitionistic Fuzzy Logic

2001
Intuitionistic fuzzy logic IF was introduced by Takeuti and Titani. This logic coincides with the first-order Godel logic based on the real unit interval [0,1] as set of truth-values. We present a natural deduction system NIF for IF. NIF is defined by suitably translating a first-order extension of Avron’s hypersequent calculus for Godel logic ...
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller   +2 more
openaire   +1 more source

REMARK ON THE PSEUDO-FIXED POINTS OF THE INTUITIONISTIC FUZZY LOGIC OPERATORS

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2001
The question of finding the pseudo-fixed points of the operators defined in the frameworks of the intuitionistic fuzzy modal logic is investigated.
Krassimir T. Atanassov, Nikolai G. Nikolov   +1 more
openaire   +1 more source

AN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC

2012
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residu- ated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to nd an algebraic counterpart for in- tuitionistic fuzzy logic.
openaire   +1 more source

A Survey of Fuzzy Intuitionistic Logics in Quantum Mechanics

1993
The structure of Brouwer-Zadeh (or BZ)-poset has been first investigated in Cattaneo and Nistico [1] drawing inspiration from the examples of generalized characteristic functionals (fuzzy sets) on a reference space and of generalized orthogonal projections (fuzzy operators) on a Hilbert space [2-4].
G. Cattaneo, M. L. Dalla Chiara, R. Giuntini   +2 more
openaire   +1 more source

Cardiovascular Risk Assessment Using Intuitionistic Fuzzy Logic System

2019 10th International Conference on Computing, Communication and Networking Technologies (ICCCNT), 2019
For complex, ill-defined problems, where the uncertainty lies, fuzzy logic is the best suitable methodology to work with. We can achieve a certain level of accuracy and precision by accepting uncertainty. An Intuitionistic fuzzy logic represents imperfect knowledge that lies while dealing with real-life problems.
Sarfaraj Mirza, Trupti Gujarathi, Kalyani Bhole   +2 more
openaire   +1 more source