Elements of intuitionistic fuzzy logic. Part I
Fuzzy Sets and SystemsPublished 1 April 1998
Krassimir Atanassov, George Gargov
Citations131
SJR quartileQ1
SJR score0.75
SNIP1.25
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This paper constructs two versions of intuitionistic fuzzy propositional calculus (IFPC) and a version of intuitionists fuzzy predicate logic (IFPL) that are based on the notion of intuitionistically fuzzy set.
Abstract
The definition of the notion of intuitionistic fuzzy set is the basis for defining intuitionistic fuzzy logics of different kinds. In this paper, we construct two versions of intuitionistic fuzzy propositional calculus (IFPC) and a version of intuitionistic fuzzy predicate logic (IFPL).
Keywords
Computer ScienceDecision Sciences
Fuzzy Sets and SystemsIntuitionistic fuzzy sets
16,153 Citations1986Krassimir Atanassov
Various properties are proved, which are connected to the operations and relations over sets, and with modal and topological operators, defined over the set of IFS's.
An Introduction to Mathematical Logic
1,749 Citations2005
Fuzzy Sets and SystemsMore on intuitionistic fuzzy sets
1,488 Citations1989Krassimir Atanassov
Two news operators on intuitionistic fuzzy sets are defined and their basic properties are studied to introduce new results on intuitionism fuzzy sets.
Birkhäuser Basel eBooksApplications of Fuzzy Sets to Systems Analysis
732 Citations1975C.V. Negoita, Dan A. Ralescu
IEEE Transactions on Systems Man and CyberneticsApplications of fuzzy sets to systems analysis
567 Citations1977C.V. Negoita, Dan A. Ralescu +1 more
Computational IntelligenceMultivalued logics: a uniform approach to reasoning in artificial intelligence
511 Citations1988Matthew L. Ginsberg
This paper describes a uniform formalization of much of the current work in artificial intelligence on inference systems, showing that many of these systems, including first‐order theorem provers, assumption‐based truth maintenance systems, and unimplemented formal systems such as default logic or circumscription, can be subsumed under a single general framework.
The Journal of Logic ProgrammingBilattices and the semantics of logic programming
410 Citations1991Melvin Fitting
Bilattices are a family of truth-value spaces that allow elegantly for missing or conflicting information, and a fixed-point semantics is developed for logic programming, allowing any bilattice as the space of truth values.
Fundamenta InformaticaeKLEENE’S THREE VALUED LOGICS AND THEIR CHILDREN
160 Citations1994Melvin Fitting
This work introduces a guard connective into Belnap's logic and shows that by using it four-valued analogs of Kleene’s weak three-valued logic, and the asymmetric logic of Lisp are also available.
Euro courses. Reliability and risk analysisOn the Combination of Evidence in Various Mathematical Frameworks
125 Citations1992Didier Dubois, Henri Prade
The problem of combining pieces of evidence issued from several sources of information, encountered in expert systems when several production rules conclude on the value of the same variable, but also in robotics when information coming from different sensors is to be aggregated.
International Journal of Intelligent SystemsFuzzy modus ponens: A new model suitable for applications in knowledge-based systems
115 Citations1989Paul Magrez, P. Smets
This work proposes a new model for fuzzy Modus Ponens, to find a fuzzy extension of the meta‐level rule of inference, in comparison with the object‐level Extension of the disjunctive syllogism such as the Zadeh's model.
Studies in fuzziness and soft computingIntuitionistic Fuzzy Predicate Logic
6 Citations2016Krassimir Atanassov
The idea for evaluation of the propositions was extended for predicates as follows: Atanassov and Gargov (Elements of intuitionistic fuzzy logic I, 1998, [9]), Gargov and AtanASSov (Two results in intuitionist fuzzy logic, 1992, [10]).