Results 81 to 90 of about 1,049,149 (204)
Two loop detection mechanisms: a comparison [PDF]
In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M. +3 more
core +1 more source
Background Heyting algebras serve as algebraic models for intuitionistic logic, with classical congruence relations playing a key role in their structural analysis.
Derebew Derso
doaj +1 more source
Prioritizing severity level of COVID-19 using correlation coefficient and intuitionistic fuzzy logic. [PDF]
Tarannum S, Jabin S.
europepmc +1 more source
A Note on Intuitionistic Fuzzy Hypervector Spaces
The notion of Intuitionistic fuzzy hypervector space has been generalized and a few basic properties on this concept are studied It has been shown that the intersection and union of an arbitrary family of Intuitionistic fuzzy hypervector spaces are also
Sanjay Roy, T. K. Samanta
core
Trakhtenbrot Theorem and Fuzzy Logic
Trakhtenbrot theorem is shown to be valid for the three main fuzzy logics - Lukasiewicz, Gödel and product ...
Petr Hajek, Fuzzy Logic
core
Neutrosophic Logic Approach for Evaluating Learning Management Systems [PDF]
Uncertainty in expert systems is essential research point in artificial intelligence domain. Uncertain knowledge representation and analysis in expert systems is one of the challenges that takes researchers concern as different uncertainty types which ...
Nouran Radwan +2 more
doaj
Supplier Selection Problem Using Combined Approaches of Neutrosophic-Based Quality Function Deployment and EDAS [PDF]
The evaluation and selection of suppliers is a crucial issue in supply chain management. This problem has grown increasingly uncertain due to the influence of imprecise parameters, and various tools have been proposed for weighting criteria and ...
Mehdi Seifbarghy, Morvarid Yousefi
doaj +1 more source
. Intuitionistic fuzzy logic IF was introduced by Takeuti and Titani. This logic coincides with the first-order G"odel logic based on the real unit interval [0, 1] as set of truth-values. We present a natural deduction system NIF for IF.
Matthias Baaz +2 more
core
A generalization of operators on intuitionistic fuzzy sets using triangular norms and conorms
Several operators on intuitionistic fuzzy sets, such as union, intersection, sum and product, have been defined using common triangular norms and conorms.
Kerre, EtienneWE02801000205272F358CFA4-F0ED-11E1-A9DE-61C894A0A6B4 +3 more
core
Modeling rational decisions in ambiguous situations: a multi-valued logic approach
If a decision context is completely precise, making good decisions is relatively easy. In the presence of ambiguity, rational decision-making is incomparably more challenging.
Olga Metzger, Thomas Spengler
doaj +1 more source

