Recently, research on uncertainty modeling is progressing rapidly and many essential and breakthrough stud ies have already been done. There are various ways such as fuzzy, intuitionistic and neutrosophic sets to handle these uncertainties. Although these concepts can handle incomplete information in various real-world issues, they cannot address all types of uncertainty such as indeterminate and inconsistent information. Also, plithogenic sets as a generalization of crisp, fuzzy, intuitionistic fuzzy, and neutrosophic sets, which is a set (...) whose elements are characterized by many attributes’ values. In this paper, our aim is to demonstrate and review the history of fuzzy, intuitionistic and neutrosophic sets. For this purpose, we divided the paper as: section 1. History of Fuzzy Sets, section 2. History of Intuitionistic Fuzzy Sets and section 3. History of Neutrosophic Theories and Applications, section 4. History of Plithogenic Sets. (shrink)

In this paper, we introduce the plithogenic set (as generalization of crisp, fuzzy, intuitionistic fuzzy, and neutrosophic sets), which is a set whose elements are characterized by many attributes (parameters)’ values. An attribute value v has a corresponding (fuzzy, intuitionistic fuzzy, or neutrosophic) degree of appurtenance d(x,v) of the element x, to the set P, with respect to some given criteria. In order to obtain a better accuracy for the plithogenic aggregation operators in the (...) plithogenic set, and for a more exact inclusion (partial order), a (fuzzy, intuitionistic fuzzy, or neutrosophic) contradiction (dissimilarity) degree is defined be-tween each attribute value and the dominant (most important) attribute value. The plithogenic intersection and union are linear combinations of the fuzzy operators tnorm and tconorm, while the plithogenic complement, inclusion (inequality), equality are influenced by the attribute values contradiction (dissimilarity) degrees. This article offers some examples and applications of these new concepts in our everyday life. (shrink)

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and (...) complete, and allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively. (shrink)

In this paper, we introduce the concepts of Pythagorean fuzzy valued neutrosophic set (PFVNS) and Pythagorean fuzzy valued neutrosophic (PFVNV) constructed by considering Pythagorean fuzzy values (PFVs) instead of numbers for the degrees of the truth, the indeterminacy and the falsity, which is a new extension of intuitionistic fuzzy valued neutrosophic set (IFVNS). By means of PFVNSs, the degrees of the truth, the indeterminacy and the falsity can be given in Pythagorean fuzzy environment and (...) more sensitive evaluations are made by a decision maker in decision making problems compared to IFVNSs. In other words, such sets enable a decision maker to evaluate the degrees of the truth, the indeterminacy and the falsity as PFVs to model the uncertainty in the evaluations. (shrink)

Today, soft computing is a field that is used a lot in solving real-world problems, such as problems in economics, finance, banking... With the aim to serve for solving the real problem, many new theories and/or tools which were proposed, improved to help soft computing used more efficiently. We can mention some theories as fuzzy sets theory (L. Zadeh, 1965), intuitionistic fuzzy set (K Atanasov, 1986), neutrosophic set (F. Smarandache 1999). In this paper, we introduce a new (...) notion of sup port-neutrosophic set (SNS), which is the combination a neutrosophic set with a fuzzy set. So, SNS set is a direct extension of fuzzy set and neutrosophic sets (F. Smarandache). Then, we define some operators on the support-neutrosophic sets, and investigate some properties of these operators. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and (...) show why it is helpful to consider the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. (shrink)

Smarandache (1995) defined the notion of neutrosophic sets, which is a generalization of Zadeh's fuzzy set and Atanassov's intuitionistic fuzzy set. In this paper, we first develop some similarity measures of neutrosophic sets. We will present a method to calculate the distance between neutrosophic sets (NS) on the basis of the Hausdorff distance. Then we will use this distance to generate a new similarity measure to calculate the degree of similarity between NS. Finally we will prove some (...) properties of the proposed similarity measures. (shrink)

In this paper, we generalize the soft set to the hypersoft set by transforming the function F into a multi-attribute function. Then we introduce the hybrids of Crisp, Fuzzy, Intuitionistic Fuzzy, Neutrosophic, and Plithogenic Hypersoft Set.

In this paper one introduces for the first time the IndetermSoft Set, as extension of the classical (determinate) Soft Set, that deals with indeterminate data, and similarly the HyperSoft Set extended to IndetermHyperSoft Set, where ‘Indeterm’ stands for ‘Indeterminate’ (uncertain, conflicting, not unique outcome). They are built on an IndetermSoft Algebra that is an algebra dealing with IndetermSoft Operators resulted from our real world. Afterwards, the corresponding Fuzzy / Intuitionistic Fuzzy / Neutrosophic / and other fuzzy-extension (...) IndetermSoft Set & IndetermHyperSoft Set are presented together with their applications. (shrink)

We use a neutrosophic set, instead of an intuitionistic fuzzy because the neutrosophic set is more general, and it allows for independent and partial independent components, while in an intuitionistic fuzzy set, all components are totally dependent. In this article, we present and demonstrate the concept of neutrosophic invariant subgroups. We delve into the exploration of this notion to establish and study the neutrosophic quotient group. Further, we give the concept of a neutrosophic normal subgroup as (...) a novel concept. (shrink)

In this paper, we first defined soft intervalvalued neutrosophic rough sets(SIVN- rough sets for short) which combines interval valued neutrosophic soft set and rough sets and studied some of its basic properties. This concept is an extension of soft interval valued intuitionistic fuzzy rough sets( SIVIF- rough sets). Finally an illustartive example is given to verfy the developped algorithm and to demonstrate its practicality and effectiveness.

In this book, we approach different topics related to neutrosophics, such as: Neutrosophic Set, Intuitionistic Fuzzy Set, Inconsistent Intuitionistic Fuzzy Set, Picture Fuzzy Set, Ternary Fuzzy Set, Pythagorean Fuzzy Set, Atanassov’s Intuitionistic Fuzzy Set of second type, Spherical Fuzzy Set, n-HyperSpherical Neutrosophic Set, q-Rung Orthopair Fuzzy Set, truth-membership, indeterminacy-membership, falsehood-nonmembership, Regret Theory, Grey System Theory, Three-Ways Decision, n-Ways Decision, Neutrosophy, Neutrosophication, Neutrosophic Probability, Refined Neutrosophy, Refined Neutrosophication, Nonstandard Analysis; (Theory, (...) NeutroTheory, AntiTheory), S-denying an Axiom, Multispace with Multistructure, and so on. (shrink)

Neutrosophic Over-/Under-/Off-Set and -Logic were defined for the first time by Smarandache in 1995 and published in 2007. They are totally different from other sets/logics/probabilities. He extended the neutrosophic set respectively to Neutrosophic Overset {when some neutrosophic component is > 1}, Neutrosophic Underset {when some neutrosophic component is < 0}, and to Neutrosophic Offset {when some neutrosophic components are off the interval [0, 1], i.e. some neutrosophic component > 1 and other neutrosophic component < 0}. This is no surprise with (...) respect to the classical fuzzy set/logic, intuitionistic fuzzy set/logic, or classical/imprecise probability, where the values are not allowed outside the interval [0, 1], since our real-world has numerous examples and applications of over-/under-/off-neutrosophic components. (shrink)

This fourteenth volume of Collected Papers is an eclectic tome of 87 papers in Neutrosophics and other fields, such as mathematics, fuzzy sets, intuitionistic fuzzy sets, picture fuzzy sets, information fusion, robotics, statistics, or extenics, comprising 936 pages, published between 2008-2022 in different scientific journals or currently in press, by the author alone or in collaboration with the following 99 co-authors (alphabetically ordered) from 26 countries: Ahmed B. Al-Nafee, Adesina Abdul Akeem Agboola, Akbar Rezaei, Shariful Alam, (...) Marina Alonso, Fran Andujar, Toshinori Asai, Assia Bakali, Azmat Hussain, Daniela Baran, Bijan Davvaz, Bilal Hadjadji, Carlos Díaz Bohorquez, Robert N. Boyd, M. Caldas, Cenap Özel, Pankaj Chauhan, Victor Christianto, Salvador Coll, Shyamal Dalapati, Irfan Deli, Balasubramanian Elavarasan, Fahad Alsharari, Yonfei Feng, Daniela Gîfu, Rafael Rojas Gualdrón, Haipeng Wang, Hemant Kumar Gianey, Noel Batista Hernández, Abdel-Nasser Hussein, Ibrahim M. Hezam, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Muthusamy Karthika, Nour Eldeen M. Khalifa, Madad Khan, Kifayat Ullah, Valeri Kroumov, Tapan Kumar Roy, Deepesh Kunwar, Le Thi Nhung, Pedro López, Mai Mohamed, Manh Van Vu, Miguel A. Quiroz-Martínez, Marcel Migdalovici, Kritika Mishra, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohammed Alshumrani, Mohamed Loey, Muhammad Akram, Muhammad Shabir, Mumtaz Ali, Nassim Abbas, Munazza Naz, Ngan Thi Roan, Nguyen Xuan Thao, Rishwanth Mani Parimala, Ion Pătrașcu, Surapati Pramanik, Quek Shio Gai, Qiang Guo, Rajab Ali Borzooei, Nimitha Rajesh, Jesús Estupiñan Ricardo, Juan Miguel Martínez Rubio, Saeed Mirvakili, Arsham Borumand Saeid, Saeid Jafari, Said Broumi, Ahmed A. Salama, Nirmala Sawan, Gheorghe Săvoiu, Ganeshsree Selvachandran, Seok-Zun Song, Shahzaib Ashraf, Jayant Singh, Rajesh Singh, Son Hoang Le, Tahir Mahmood, Kenta Takaya, Mirela Teodorescu, Ramalingam Udhayakumar, Maikel Y. Leyva Vázquez, V. Venkateswara Rao, Luige Vlădăreanu, Victor Vlădăreanu, Gabriela Vlădeanu, Michael Voskoglou, Yaser Saber, Yong Deng, You He, Youcef Chibani, Young Bae Jun, Wadei F. Al-Omeri, Hongbo Wang, Zayen Azzouz Omar. (shrink)

The theory of plithogeny developed by Smarandache is described as a more generalized form of representing sets of different nature such as crisp, fuzzy, intuitionistic and neutrosophic. Plithogenic set comprises degree of appurtenance and contradiction degree with respect only to the dominant attribute. This paper introduces extended plithogenic sets comprising degrees of appurtenance and contradiction with respect to both dominant and recessive attributes. The extension of the 5-tuple Plithogenic sets to a 7- tuple plithogenic sets helps in developing (...) a more comprehensive kind of Plithogenic sociogram. The newly developed plithogenic sets and its implications in Plithogenic sociogram is validated by the decision making problem on food processing industries. The obtained results using extended plithogenic sets are more promising in comparison to the conventional plithogenic sets. The proposed kind of plithogenic sets will benefit the decision makers to make optimal decisions based on both optimistic and pessimistic approaches. (shrink)

“Neutrosophics Knowledge” has been created for publications on advanced studies in neutrosophy, neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics that started in 1995 and their applications in any field, such as the neutrosophic structures developed in algebra, geometry, topology, etc. The submitted papers should be professional, in good English and Arabic, containing a brief review of a problem and obtained results. Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities, as well as (...) their interactions with different ideational spectra. (shrink)

The traditional soft set is a mapping from a parameter set to family of all crisp subsets of a universe. Molodtsov introduced the soft set as a generalized tool for modelling complex systems involving uncertain or not clearly defined objects. In this paper, the notion of neutrosophic soft set is reanalysed. The novel theory is a combination of neutrosophic set theory and soft set theory. The complement, “and”, “or”, intersection and union operations are defined on the neutrosophic soft sets. The (...) neutrosophic soft relations accompanied with their compositions are also defined. The basic properties of the neutrosophic soft sets, neutrosophic soft relations and neutrosophic soft compositions are also discussed. (shrink)

In this paper, we make distinctions between Classical Logic (where the propositions are 100% true, or 100 false) and the Neutrosophic Logic (where one deals with partially true, partially indeterminate and partially false propositions) in order to respond to K. Georgiev’s criticism [1]. We recall that if an axiom is true in a classical logic system, it is not necessarily that the axiom be valid in a modern (fuzzy, intuitionistic fuzzy, neutrosophic etc.) logic system.

We have introduced for the first time the degree of dependence (and consequently the degree of independence) between the components of the fuzzy set, and also between the components of the neutrosophic set in our 2006 book’s fifth edition [1]. Now we extend it for the first time to the refined neutrosophic set considering the degree of dependence or independence of subcomponets.

A Plithogenic Logical proposition P is a proposition that is characterized by many degrees of truth-values with respect to many corresponding attribute-values (or random variables) that characterize P. Each degree of truth-value may be classical, fuzzy, intuitionistic fuzzy, neutrosophic, or other fuzzy extension type logic. At the end, a cumulative truth of P is computed.

This paper deals with Gärdenfors’ theory of conceptual spaces. Let \({\mathcal {S}}\) be a conceptual space consisting of 2-type fuzzy sets equipped with several kinds of metrics. Let a finite set of prototypes \(\tilde{P}_1,\ldots,\tilde{P}_n\in \mathcal {S}\) be given. Our main result is the construction of a classification algorithm. That is, given an element \({\tilde{A}}\in \mathcal {S},\) our algorithm classifies it into the conceptual field determined by one of the given prototypes \(\tilde{P}_i.\) The construction of our algorithm uses some physical (...) analogies and the Newton potential plays a significant role here. Importantly, the resulting conceptual fields are not convex in the Euclidean sense, which we believe is a reasonable departure from the assumptions of Gardenfors’ original definition of the conceptual space. A partitioning algorithm of the space \(\mathcal {S}\) is also considered in the paper. In the application section, we test our classification algorithm on real data and obtain very satisfactory results. Moreover, the example we consider is another argument against requiring convexity of conceptual fields. (shrink)

This paper presents for the first time the IndetermSoft Set, as an extension of the classical (determinate) Soft Set, which operates on indeterminate data, and similarly the HyperSoft Set extended to the IndetermHyperSoft Set, where 'Indeterm' means 'Indeterminate' (uncertain, conflicting, non-unique result). They are built on an IndetermSoft Algebra which is an algebra dealing with IndetermSoft Operators resulting from our real world. Subsequently, the IndetermSoft and IndetermHyperSoft Sets and their Fuzzy/Fuzzy Intuitionistic/Neutrosophic and other fuzzy extensions and (...) their applications are presented. (shrink)

It is outlined the possibility to extend the quantum formalism in relation to the requirements of the general systems theory. It can be done by using a quantum semantics arising from the deep logical structure of quantum theory. It is so possible taking into account the logical openness relationship between observer and system. We are going to show how considering the truth-values of quantum propositions within the context of the fuzzy sets is here more useful for systemics. In conclusion (...) we propose an example of formal quantum coherence. (shrink)

In this study, we propose a new approach based on fuzzy TODIM (Portuguese acronym for interactive and multicriteria decision-making) for decision-making problems in uncertain environments. Our method incorporates group utility and individual regret, which are often ignored in traditional multicriteria decision-making (MCDM) methods. To enhance the analysis and application of fuzzy sets in decision-making processes, we introduce novel entropy and distance measures for q-rung picture fuzzy sets. These measures include an entropy measure based on the sine function (...) and a distance measure derived from the Jensen-Shannon divergence. In our methodology, incorporating the sine function into the entropy measure stands out as a distinctive decision, grounded in a profound understanding of the inherent characteristics of fuzzy sets. Utilizing the sine function proves especially advantageous when handling fuzzy sets that exhibit cyclical variations or fluctuations in their membership degrees. We effectively weight the criteria for an improved evaluation by using this new entropy measure. The introduced distance measure finds application in the TODIM approach, allowing the execution of TODIM method steps within a fuzzy environment until the determination of one alternative’s dominance over another—an advancement beyond traditional approaches. We apply our enhanced fuzzy TODIM method to a real-life construction project management problem from the literature and compare the results with those in the literature and obtained from other MCDM methods. Our proposed measures are robust, as demonstrated by the sensitivity analysis that varied the weights of group utility and individual regret, with the results visualized in a 3D sensitivity plot. The findings demonstrate the superiority of our method in providing a more comprehensive evaluation of alternatives, making it a useful tool for decision-makers facing complex and uncertain decision-making problems. (shrink)

Abstract: Theories of rough sets and fuzzy sets are related and complementary methodologies to handle uncertainty of vagueness and coarseness, respectively. They are generalizations of classical set theory for modeling vagueness and uncertainty. A fundamental question concerning both theories is their connections and differences. There have been many studies on this topic. Topology is a branch of mathematics, whose ideas exist not only in almost all branches of mathematics but also in many real life applications. The topological structure on (...) an abstract set is used as the base, which used to extract knowledge from data. In this paper: topological structure is used to study the relation between rough sets and fuzzy sets. Membership function is used to convert from rough set to fuzzy set and vice versa. This conversion will achieve the advantages of two theories. Some examples and theories are introduced to indicate the importance of using general binary relations in the construction of rough set concepts, and indicate the relation between rough sets and fuzzy sets according to the topological spaces. (shrink)

Artificial Psychology (AP) is a highly multidisciplinary field of study in psychology. AP tries to solve problems which occur when psychologists do research and need a robust analysis method. Conventional statistical approaches have deep rooted limitations. These approaches are excellent on paper but often fail to model the real world. Mind researchers have been trying to overcome this by simplifying the models being studied. This stance has not received much practical attention recently. Promoting and improving artificial intelligence helps mind researchers (...) to find a holistic model of mental models. This development achieves this goal by using multiple perspectives and multiple data sets together with interactive, and realistic models. In this book, the methodology of approximate inference in psychological research from a theoretical and practical perspective has been considered. Quantitative variable-oriented methodology and qualitative case-oriented methods are both used to explain the set-oriented methodology and this book combines the precision of quantitative methods with information from qualitative methods. This is a book that many researchers can use to expand and deepen their psychological research and is a book which can be useful to postgraduate students. The reader does not need an in-depth knowledge of mathematics or statistics because statistical and mathematical intuitions are key here and they will be learned through practice. What is important is to understand and use the new application of the methods for finding new, dynamic and realistic interpretations. This book incorporates theoretical fuzzy inference and deep machine learning algorithms in practice. This is the kind of book that we wished we had had when we were students. This book covers at least some of the most important issues in mind research including uncertainty, fuzziness, continuity, complexity and high dimensionality which are inherent to mind data. These are elements of artificial psychology. This book implements models using R software. (shrink)

The objective of the paper is to implement and validate diagnosis in the medical field via refined neutrosophic fuzzy logic (RNFL). As such, we have proposed a Max-Min composition (MMC) method in RNFL. This method deals with the diagnosis under certain constraints like uncertainty and indeterminacy. Further, we have considered the diagnosis problems to validate the sensitivity analysis of the novel multi attribute decision-making technique. Finally, we gave the graphical representations and compared the obtained results with other existing measures (...) in refined neutrosophic fuzzy sets. (shrink)

In this paper intuitionistic set theory INC# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered.

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' (...) temporal logic of linear discrete time with gaps follows. (shrink)

The aim of this paper is to make a proposal for a new extension of the MULTIMOORA method extended to deal with bipolar fuzzy sets. Bipolar fuzzy sets are proposed as an extension of classical fuzzy sets in order to enable solving a particular class of decision-making problems. Unlike other extensions of the fuzzy set of theory, bipolar fuzzy sets introduce a positive membership function, which denotes the satisfaction degree of the element x to the (...) property corresponding to the bipolar-valued fuzzy set, and the negative membership function, which denotes the degree of the satisfaction of the element x to some implicit counter-property corresponding to the bipolar-valued fuzzy set. By using single-valued bipolar fuzzy numbers, the MULTIMOORA method can be more efficient for solving some specific problems whose solving requires assessment and prediction. The suitability of the proposed approach is presented through an example. (shrink)

In this article Russell’s paradox and Cantor’s paradox resolved successfully using intuitionistic logic with restricted modus ponens rule.

In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a triviality.

Neutrosophy has been introduced some years ago by Florentin Smarandache as a new branch of philosophy dealing with “the origin, nature and scope of neutralities, as well as their interactions with different ideational spectra”. A variety of new theories have been developed on the basic principles of neutrosophy: among them is neutrosophic logics, a family of many-valued systems that can be regarded as a generalization of fuzzy logics. In this paper we present a critical introduction to neutrosophic logics, focusing (...) on the problem of defining suitable neutrosophic propositional connectives and discussing the relationship between neutrosophic logics and other well-known frameworks for reasoning with uncertainty and vagueness, such as (intuitionistic and interval-valued) fuzzy systems and Belnap’s logic. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and (...) show why it is helpful to consider the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. These, provides a new interpretation of Quantum Mechanics.More exactly what we see here is "Particle-Fuzzy time" interpretation of quantum Mechanics, in contrast to some other interpretations of Quantum Mechanics like " Wave-Particle" interpretation. At the end, we propound a question about the possible solution of a paradox in Physics, the contradiction between General Relativity and Quantum Mechanics. (shrink)

We introduce a new theorem in social choice theory built on a path integral approach which will show that, under some reasonable conditions, there is a unique way to aggregate individual preferences based on fuzzy sets into a social preference based on probabilities, and that this way is invariant under any permutation of alternatives. We then apply this theorem to the case of democratic decision making with data of the behaviour and voting preferences of voting agents and show that (...) there is a tradeoff between fairness and efficiency and that no voting system can achieve both simultaneously. (shrink)

Main results are: (i) number e^{e} is transcendental; (ii) the both numbers e+π and e-π are irrational.

The objective of this study is to incorporate topological space into the realm of n-Cylindrical Fuzzy Neutrosophic Sets (n-CyFNS), which are the most novel type of fuzzy neutrosophic sets. In this paper, we introduce n-Cylindrical Fuzzy Neutrosophic Topological Spaces (n-CyFNTS), n-Cylindrical Fuzzy Neutrosophic (n-CyFN) open sets, and n-CyFN closed sets. We also defined the n-CyFN base, n-CyFN subbase, and some related theorems here.

The short exposition of the triplet model of concepts and some definitions connected with it are given. In this model any concept may be depicted as having three characteristics: a base, a representing part and the linkage between them. The paper introduces the fuzzification of concepts in terms of the triplet model.

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to (...) the other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

A rough fuzzy set is the result of the approximation of a fuzzy set with respect to a crisp approximation space. It is a mathematical tool for the knowledge discovery in the fuzzy information systems. In this paper, we introduce the concepts of rough standard neutrosophic sets and standard neutrosophic information system, and give some results of the knowledge discovery on standard neutrosophic information system based on rough standard neutrosophic sets.

In 1685, in The Art of Discovery, Leibniz set down an extraordinary idea: "The only way to rectify our reasonings is to make them as tangible as those of the Mathematicians, so that we can find our error at a glance, and when there are disputes among persons, we can simply say: Let us calculate [calculemus], without further ado, to see who is right." Calculemus.

This thesis sets out an argument in defence of moral objectivism. It takes Mackie as the critic of objectivism and it ends by proposing that the best defence of objectivism may be found in what I shall call Kantian intuitionism, which brings together elements of the intuitionism of Ross and a Kantian epistemology. The argument is fundamentally transcendental in form and it proceeds by first setting out what we intuitively believe, rejecting the sceptical attacks on those beliefs, and by then (...) proposing a theory that can legitimize what we already do believe. Chapter One sets out our intuitive understanding of morality: that morality is cognitive, moral beliefs can be true or false; that morality is real, we do not construct it; that morality is rational, we can learn about it by rational investigation; and that morality places us under an absolute constraint. The chapter ends by clarifying the nature of that absolute demand and by arguing that the critical idea within morality is the idea of duty. In Chapter Two Mackie’s sceptical attack on objectivism is examined. Four key arguments are identified: that moral beliefs are relative to bfferent agents; that morality is based upon on non-rational causes; that the idea of moral properties or entities is too queer to be sustainable; and that moral objectivism involves queer epistemological commitments. Essentially all of these arguments are shown to be ambiguous; however it is proposed that Mackie has an underlying epistemological and metaphysical theory, scientific empiricism, which is hostile to objectivism and a theory that many find attractive for reasons that are independent of morality. Chapter Three explores the nature of moral rationality and whether scientific empiricism can use the idea of reflective equilibrium to offer a reasonable account of moral rationality. It concludes that, while reflective equilibrium is a useful account of moral rationality, it cannot be effectively reconciled with scientific empiricism. In order to function effectively as a rational process, reflective equilibrium must be rationally constrained by our moral judgements and our moral principles. Chapter Four begins the process of exploring some alternative epistemologies and argues that the only account that remains true to objectivism and the needs of reflective equilibrium is the account of intuitionism proposed by Ross. However this account can be developed further by drawing upon number of Kantian ideas and using them to supplement Ross’s intuitionism. So Chapter Five draws upon a number of Kant's ideas, most notably some key notions from the Critique of Judgement. These ideas are: that we possess a rational will that is subject to the Moral law and determined by practical reason; that we possess a faculty of judgement which enables us to become aware of moral properties and that these two faculties together with the third faculty of thought can function to constitute the moral understanding. Using these ideas the thesis explores whether they can serve to explain how intuitions can be rational and how objectivism can be justified. (shrink)

Neutrosophic set is a new mathematical tool for handling problems involving imprecise, indetermi nacy and inconsistent data. Pseudo-BCI algebra is a kind of non-classical logic algebra in close connection with various non-commutative fuzzy logics. Recently, we applied neutrosophic set theory to pseudo-BCI al gebras. In this paper, we study neutrosophic filters in pseudo-BCI algebras. The concepts of neutrosophic regular filter, neutrosophic closed filter and fuzzy regular filter in pseudo-BCI algebras are introduced, and some basic properties are discussed. Moreover, (...) the relationships among neutrosophic regular filter, fuzzy filters and anti-grouped neutrosophic filters are prese nted, and the results are proved: a neutrosophic filter (fuzzy filter) is a neutrosophic regular filter (fuzzy regular filter), if and only if it is both a neutrosophic closed filter (fuzzy closed filter) and an anti-grouped neutrosophic filter (fuzzy anti-grouped filter). (shrink)

The main research goal of the work is to study the notion of co-topos, its correctness, properties and relations with toposes. In particular, the dualization process proposed by proponents of co-toposes has been analyzed, which transforms certain Heyting algebras of toposes into co-Heyting ones, by which a kind of paraconsistent logic may appear in place of intuitionistic logic. It has been shown that if certain two definitions of topos are to be equivalent, then in one of them, in the (...) context of a subobject classifier, there should be a neutral label for the generic subobject, or if the label "true" appears instead, it carries no additional properties or assumptions. It has been shown that a natural isomorphism occurring in one of the definitions of topos need not be an isomorphism of the corresponding algebraic structures on the sets, so that a co-Heyting algebraic structure can be defined on the set of characteristic morphisms, which moreover will also be natural. The analyzes suggest that the notion of co-topos may be considered correct. However, it should be strongly emphasized that although the possibility of defining the notion of co-topos has been shown, its further full consequences should be very carefully examined, which can severely limit its logical applications. (shrink)

In the real word, in most cases, everything (an attribute, event, proposition, theory, idea, person, object, action, etc.) is evaluated in general by many sources (called experts), not only one. The more sources evaluate a subject, the better accurate result (after fusioning all evaluations). That’s why, in this paper, we straightforwardly extend the Refined Neutrosophic Set to the MultiNeutrosophic Set, and we show that the last two are isomorphic. A MultiNeutrosophic Set is a Neutrosophic Set whose all elements’ degrees of (...) truth/indeterminacy/falsehood are evaluated by many (Multi) sources. Afterwards, we introduce a total order on the set of n-plets of the form (p, r, s), we build the operators on the (p, r, s)-plets, and show several applications of the MultiNeutrosophic Sets. Several particular cases of the MultiNeutrosophic Sets are presented: such as MultiFuzzy Set, MultiIntuitionistic Fuzzy Set, MultiPicture Fuzzy Set, and other Multi(Fuzzy Extension) Set. (shrink)

Throughout this paper, we prove TC + CON(TC*)ͰP ≠ NP. To do that, firstly we introduce the definition of scope∗ . This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face finite number of efficient computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we reach to a (...) world of computation, in which our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P ≠ NP and P* ≠ NP*. Throughout this article, we discuss around the impact of TC* on TC. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems (...) in the traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

Proportional integral observer (PIO) for tracking a nonlinear method has a lower sentiency to cipher the state and output variables. So a more nonlinear controller has to be else to control to activity. In this paper, a fuzzy logic (FLC) controller has been added to the PIO to meliorate the calculation transmute. A fuzzy proportional integral observer (FPIO) for following a nonlinear system has been premeditated to decimate the susceptibleness to cipher the tell and turnout variables with the (...) existent posit and product variables. The FPIO controller has been tested for improving the estimation control using a nonlinear quarter vehicle active suspension system with a nonlinear hydraulic actuator. A comparison simulation of the proposed nonlinear system for estimating the state variables and tracking the output (suspension deflection) with a set point bump road disturbance using FPIO and PIO. The comparison simulation result shows that the estimated state variables and system output match the actual ones perfectly using a fuzzy PIO controller. (shrink)

In his essay ‘“Wang’s Paradox”’, Crispin Wright proposes a solution to the Sorites Paradox (in particular, the form of it he calls the ‘Paradox of Sharp Boundaries’) that involves adopting intuitionistic logic when reasoning with vague predicates. He does not give a semantic theory which accounts for the validity of intuitionistic logic (and the invalidity of stronger logics) in that area. The present essay tentatively makes good the deficiency. By applying a theorem of Tarski, it shows that (...) class='Hi'>intuitionistic logic is the strongest logic that may be applied, given certain semantic assumptions about vague predicates. The essay ends with an inconclusive discussion of whether those semantic assumptions should be accepted. (shrink)