Axioms of symmetry an intuitionistic investigation
نویسنده
چکیده
In this thesis, we will discuss Freiling’s axiom of symmetry from an intuitionistic point of view. Using Brouwer’s Continuity Principle and fan theorem, we will find that the natural interpretation of this axiom holds in intuitionistic mathematics. The same is true for most of the extensions formulated by Freiling, in so far as they have a natural interpretation in intuitionism.
منابع مشابه
AN INDUCTIVE FUZZY DIMENSION
Using a system of axioms among with a modified definition of boundary on the basis of the intuitionistic fuzzy sets, we formulate an inductive structure for the dimension of fuzzy spaces which has been defined by Coker. This new definition of boundary allows to characterize an intuitionistic fuzzy clopen set as a set with zero boundary. Also, some critical properties and applications are establ...
متن کاملA new vector valued similarity measure for intuitionistic fuzzy sets based on OWA operators
Plenty of researches have been carried out, focusing on the measures of distance, similarity, and correlation between intuitionistic fuzzy sets (IFSs).However, most of them are single-valued measures and lack of potential for efficiency validation.In this paper, a new vector valued similarity measure for IFSs is proposed based on OWA operators.The vector is defined as a two-tuple consisting of ...
متن کامل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.
متن کاملWhich classical correspondence is valid in intuitionistic modal logic?
Modal logics reason about properties of relational structures, and such properties are often characterized by axioms of modal logics. This connection between properties of relational structures and axioms of modal logics are called correspondence, and has been investigated well in the classical setting. The problem we consider is an intuitionistic version of this correspondence. In particular, ...
متن کاملMultimodal medical image fusion based on Yager’s intuitionistic fuzzy sets
The objective of image fusion for medical images is to combine multiple images obtained from various sources into a single image suitable for better diagnosis. Most of the state-of-the-art image fusing technique is based on nonfuzzy sets, and the fused image so obtained lags with complementary information. Intuitionistic fuzzy sets (IFS) are determined to be more suitable for civilian, and medi...
متن کامل