Logic and Foundations Commons^™

Quadruple Neutrosophic Theory And Applications Volume I, Florentin Smarandache, Memet Şahin, Vakkas Uluçay, Abdullah Kargin

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic set has been derived from a new branch of philosophy, namely Neutrosophy. Neutrosophic set is capable of dealing with uncertainty, indeterminacy and inconsistent information. Neutrosophic set approaches are suitable to modeling problems with uncertainty, indeterminacy and inconsistent information in which human knowledge is necessary, and human evaluation is needed. Neutrosophic set theory firstly proposed in 1998 by Florentin Smarandache, who also developed the concept of single valued neutrosophic set, oriented towards real world scientific and engineering applications. Since then, the single valued neutrosophic set theory has been extensively studied in books and monographs introducing neutrosophic sets and its applications, …

Plithogenic N- Super Hypergraph In Novel Multi -Attribute Decision Making, Florentin Smarandache, Nivetha Martin

Branch Mathematics and Statistics Faculty and Staff Publications

An optimal decision-making environment demands feasible Multi-Attribute Decision-Making methods. Plithogenic n – Super Hypergraph introduced by Smarandache is a novel concept and it involves many attributes. This article aims to bridge the concept of Plithogenic n-Super Hypergraph in the vicinity of optimal decision making. This research work introduces the novel concepts of enveloping vertex, super enveloping vertex, dominant enveloping vertex, classification of the dominant enveloping vertex (input, intervene, output dominant enveloping vertices), plithogenic connectors. An application of Plithogenic n-super hypergraph in making optimum decisions is discussed under various decision-making scenarios. Several insights are drawn from this research work and will …

Three Possible Applications Of Neutrosophic Logic In Fundamental And Applied Sciences, Victor Christianto, Robert Neil Boyd, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In Neutrosophic Logic, a basic assertion is that there are variations of about everything that we can measure; the variations surround three parameters called T,I,F (truth, indeterminacy, falsehood) which can take a range of values. This paper shortly reviews the links among aether and matter creation from the perspective of Neutrosophic Logic. Once we accept the existence of aether as physical medium, then we can start to ask on what causes matter ejection, as observed in various findings related to quasars etc. One particular cosmology model known as VMH (variable mass hypothesis) has been suggested by notable astrophysicists like Halton …

Octagonal Neutrosophic Number: Its Different Representations, Properties, Graphs And De-Neutrosophication With The Application Of Personnel Selection, Muhammad Saqlain, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

To deal with fluctations in decision-making, fuzzy / neutrosophic numbers are used. The problem having more fluctuations are difficult to sovle. Thus it is a dire need to define higher order number, also It is a very curious question by researchers all around the world that how octagonal neutrosophic number can be represented and how to be graphed? In this research article, the primarily focused on the representation and graphs of octagonal neutrosophic number. at last, a case study is done using VIKOR method based on octagonal neutrosophic number. These representations will be helpful in multi-criteria decision making problems in …

New Challenges In Neutrosophic Theory And Applications, Florentin Smarandache, Stefan Vladutescu, Miihaela Colhon, Wadei Al-Omeri, Saeid Jafari, Muhammad Zahir Khan, Muhammad Farid Khan, Muhammad Aslam, Abdur Razzaque Mughal

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic theory has representatives on all continents and, therefore, it can be said to be a universal theory. On the other hand, according to the three volumes of “The Encyclopedia of Neutrosophic Researchers” (2016, 2018, 2019), plus numerous others not yet included in Encyclopedia book series, about 1200 researchers from 73 countries have applied both the neutrosophic theory and method. Neutrosophic theory was founded by Professor Florentin Smarandache in 1998; it constitutes further generalization of fuzzy and intuitionistic fuzzy theories. The key distinction between the neutrosophic set/logic and other types of sets/logics lies in the introduction of the degree of …

N-Refined Neutrosophic Vector Spaces, Florentin Smarandache, Mohammad Abobala

Branch Mathematics and Statistics Faculty and Staff Publications

This paper introduces the concept of n-refined neutrosophic vector spaces as a generalization of neutrosophic vector spaces, and it studies elementary properties of them. Also, this work discusses some corresponding concepts such as weak/strong n-refined neutrosophic vector spaces, and n-refined neutrosophic homomorphisms.

N-Refined Neutrosophic Rings, Florentin Smarandache, Mohammad Abobala

Branch Mathematics and Statistics Faculty and Staff Publications

The aim of this paper is to introduce the concept of n-refined neutrosophic ring as a generalization of refined neutrosophic ring. Also, we present concept of n-refined polynomial ring. We study some basic concepts related to these rings such as AH-subrings, AH-ideals, AH-factors, and AH-homomorphisms.

Fifteenth International Photovideoanthology On Paradoxism, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Paradoxism is an international movement in science and culture, founded by Florentin Smarandache in 1980s, based on excessive use of antitheses, oxymoron, contradictions, and paradoxes. During three decades (1980-2020) hundreds of authors from tenth of countries around the globe contributed papers to 15 international paradoxist anthologies.

In 1995, the author extended the paradoxism to a new branch of philosophy called neutrosophy, that gave birth to many scientific branches, such as: neutrosophic logic, neutrosophic set, neutrosophic probability and statistics, neutrosophic algebraic structures and so on with multiple applications in engineering, computer science, administrative work, medical research etc.

“May your imagination blossom …

Extension Of Hypergraph To N-Superhypergraph And To Plithogenic N-Superhypergraph, And Extension Of Hyperalgebra To N-Ary (Classical-/Neutro-/Anti-)Hyperalgebra, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

We recall and improve our 2019 concepts of n-Power Set of a Set, n-SuperHyperGraph, Plithogenic n-SuperHyperGraph, and n-ary HyperAlgebra, n-ary NeutroHyperAlgebra, n-ary AntiHyperAlgebra respectively, and we present several properties and examples connected with the real world.

Neutro-Bck-Algebra, Florentin Smarandache, Mohammad Hamidi

Branch Mathematics and Statistics Faculty and Staff Publications

This paper introduces the novel concept of Neutro-BCK-algebra. In Neutro-BCK-algebra, the outcome of any given two elements under an underlying operation (neutro-sophication procedure) has three cases, such as: appurtenance, non-appurtenance, or indeterminate. While for an axiom: equal, non-equal, or indeterminate. This study investigates the Neutro-BCK-algebra and shows that Neutro-BCK-algebra are different from BCK-algebra. The notation of Neutro-BCK-algebra generates a new concept of NeutroPoset and Neutro-Hass-diagram for NeutroPosets. Finally, we consider an instance of applications of the Neutro-BCK-algebra.

Interval Valued Neutrosophic Shortest Path Problem By A* Algorithm, Florentin Smarandache, S. Khrisna Prabha, Said Broumi

Branch Mathematics and Statistics Faculty and Staff Publications

Many researchers have been proposing various algorithms to unravel different types of fuzzy shortest path problems. There are many algorithms like Dijkstra’s, Bellman-Ford,Floyd-Warshall and kruskal’s etc are existing for solving the shortest path problems. In this work a shortest path problem with interval valued neutrosophic numbers is investigated using the proposed algorithm. A* algorithm is extensively applied in pathfinding and graph traversal.Unlike the other algorithms mentioned above, A* algorithm entails heuristic function to uncover the cost of path that traverses through the particular state. In the structured work A* algorithm is applied to unravel the length of the shortest path …

There Is No Constant In Physics: A Neutrosophic Explanation, Victor Christianto, Robert Neil Boyd, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In Neutrosophic Logic, a basic assertion is that there are variations of about everything that we can measure; the variations surround three parameters called T,I,F (truth, indeterminacy, falsehood) which can take a range of values. Similarly, in this paper we consider NL applications in physics constants. Those constants actually all have a window of plus and minus values, relative to the average value of the constant. For example, speed of light, c, can vary in a window up to +/- 3000 m/s. Therefore it should be written: 300000 km/s +/- 3 km/s. We also discuss some implications of this new …

Introduction To Game Theory: A Discovery Approach, Jennifer Firkins Nordstrom

Linfield Authors Book Gallery

Game theory is an excellent topic for a non-majors quantitative course as it develops mathematical models to understand human behavior in social, political, and economic settings. The variety of applications can appeal to a broad range of students. Additionally, students can learn mathematics through playing games, something many choose to do in their spare time! This text also includes an exploration of the ideas of game theory through the rich context of popular culture. It contains sections on applications of the concepts to popular culture. It suggests films, television shows, and novels with themes from game theory. The questions in …

Fuzzy Semi-S-Irresolute Continuous Mappings In Šostak’S Fuzzy Topological Spaces, B. Vijayalakshmi, J. Praba, M. Saraswathi, A. Vadivel

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, the concepts of fuzzy semi-S-irresolute open map, fuzzy semi-S-irresolute closed map and fuzzy semi-S-irresolute homeomorphism to the fuzzy topological spaces in Šostak’s sense are introduced and studied. Some of their characteristic properties are considered. Also a comparison between these new types of functions are established by giving examples.

New Notions From (R; S)-Generalized Fuzzy E-Open Sets, A. Vadivel, P. Periyasamy, V. Chandrasekar, G. Saravanakumar

Applications and Applied Mathematics: An International Journal (AAM)

The present article discuss (r; s)-generalized fuzzy e-border, (r; s)-generalized fuzzy e-exterior and (r; s)-generalized fuzzy e-frontier in double fuzzy topologies. Furthermore, some characterizations of generalized double fuzzy e-continuous, generalized double fuzzy e-open, generalized double fuzzy e-closed and generalized double fuzzy e-closure-irresolute functions are studied and investigated. Moreover, the interrelations among the new concepts are discussed with some necessary examples.

Modest Automorphisms Of Presburger Arithmetic, Simon Heller

Dissertations, Theses, and Capstone Projects

It is interesting to consider whether a structure can be expanded by an automorphism so that one obtains a nice description of the expanded structure's first-order properties. In this dissertation, we study some such expansions of models of Presburger arithmetic. Building on some of the work of Harnik (1986) and Llewellyn-Jones (2001), in Chapter 2 we use a back-and-forth construction to obtain two automorphisms of sufficiently saturated models of Presburger arithmetic. These constructions are done first in the quotient of the Presburger structure by the integers (which is a divisible ordered abelian group with some added structure), and then lifted …

A Hybrid Plithogenic Decision-Making Approach With Quality Function Deployment For Selecting Supply Chain Sustainability Metrics, Florentin Smarandache, Mohamed Abdel-Basset, Rehab Mohamed, Abd El-Nasser H. Zaied

Branch Mathematics and Statistics Faculty and Staff Publications

Supply chain sustainability has become one of the most attractive decision management topics. There are many articles that have focused on this field presenting many different points of view. This research is centred on the evaluation of supply chain sustainability based on two critical dimensions. The first is the importance of evaluation metrics based on economic, environmental and social aspects, and the second is the degree of difficulty of information gathering. This paper aims to increase the accuracy of the evaluation. The proposed method is a combination of quality function deployment (QFD) with plithogenic aggregation operations. The aggregation operation is …

Cubic Interior Ideals In Semigroups, G. Muhiuddin

Applications and Applied Mathematics: An International Journal (AAM)

In this paper we apply the cubic set theory to interior ideals of a semigroup. The notion of cubic interior ideals is introduced, and related properties are investigated. Characterizations of (cubic) interior ideals are established, and conditions for a semigroup to be left (right) simple are provided.

Computable Reducibility Of Equivalence Relations, Marcello Gianni Krakoff

Boise State University Theses and Dissertations

Computable reducibility of equivalence relations is a tool to compare the complexity of equivalence relations on natural numbers. Its use is important to those doing Borel equivalence relation theory, computability theory, and computable structure theory. In this thesis, we compare many naturally occurring equivalence relations with respect to computable reducibility. We will then define a jump operator on equivalence relations and study proprieties of this operation and its iteration. We will then apply this new jump operation by studying its effect on the isomorphism relations of well-founded computable trees.

Formally Verifying Peano Arithmetic, Morgan Sinclaire

Boise State University Theses and Dissertations

This work is concerned with implementing Gentzen’s consistency proof in the Coq theorem prover.

In Chapter 1, we summarize the basic philosophical, historical, and mathematical background behind this theorem. This includes the philosophical motivation for attempting to prove the consistency of Peano arithmetic, which traces itself from the first attempted axiomatizations of mathematics to the maturation of Hilbert’s program. We introduce many of the basic concepts in mathematical logic along the way: first-order logic (FOL), Peano arithmetic (PA), primitive recursive arithmetic (PRA), Gödel's 2nd Incompleteness theorem, and the ordinals below ε₀.

In …