Mathematics Commons^™

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 …

Extension Of Soft Set To Hypersoft Set, And Then To Plithogenic Hypersoft Set, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we generalize the soft set tothe 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.

Experience Of A Noyce-Student Learning Assistant In An Inquiry-Based Learning Class, Melissa Riley

UNO Student Research and Creative Activity Fair

This presentation refers to an undergraduate course called introduction to abstract mathematics at the University of Nebraska at Omaha. During the academic year 2017-2018, undergraduate, mathematics student Melissa Riley was a Noyce-student learning assistant for the Inquiry Based Learning (IBL) section of the course. She assisted the faculty-in-charge with all aspects of the course. These included: materials preparation, class organization, teamwork, class leading, presentations, and tutoring. This presentation shall address some examples of how the IBL approach can be used in this type of class including: the structure of the course, the activities and tasks performed by the students, learning …

Extending Set Functors To Generalised Metric Spaces, Adriana Balan, Alexander Kurz, Jiří Velebil

Mathematics, Physics, and Computer Science Faculty Articles and Research

For a commutative quantale V, the category V-cat can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor T (formalised as an endofunctor on sets) can be extended in a canonical way to a type constructor T_V on V-cat. The proof yields methods of explicitly calculating the extension in concrete examples, which cover well-known notions such as the Pompeiu-Hausdorff metric as well as new ones.

Conceptually, this allows us to to solve the same recursive domain equation X ≅ TX in different categories (such as sets and metric spaces) and …

Special Subset Vertex Multisubgraphs For Multi Networks, Florentin Smarandache, W.B. Vasantha Kandasamy, Ilanthenral K

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors study special type of subset vertex multi subgraphs; these multi subgraphs can be directed or otherwise. Another special feature of these subset vertex multigraphs is that we are aware of the elements in each vertex set and how it affects the structure of both subset vertex multisubgraphs and edge multisubgraphs. It is pertinent to record at this juncture that certain ego centric directed multistar graphs become empty on the removal of one edge, there by theorising the importance, and giving certain postulates how to safely form ego centric multi networks. Given any subset vertex multigraph we …

Plithogenic Fuzzy Whole Hypersoft Set, Construction Of Operators And Their Application In Frequency Matrix Multi Attribute Decision Making Technique, Florentin Smarandache, Shazia Rana, Madiha Qayyum, Muhammad Saeed, Bakhtawar Ali Khan

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, initially a matrix representation of Plithogenic Hypersoft Set (PHSS) is introduced and then with the help of this matrix some local operators for Plithogenic Fuzzy Hypersoft set (PFHSS) are developed. These local operators are used to generalize PFHSS to Plithogenic Fuzzy Whole Hypersoft set (PFWHSS). The generalized PFWHSS set is hybridization of Fuzzy Hypersoft set (which represent multiattributes and their subattributes as a combined whole membership i.e. case of having an exterior view of the event) and the Plithogenic Fuzzy Hypersoft set (in which multi attributes and their subattributes are represented with individual memberships case of having …

Special Issue: New Types Of Neutrosophic Set/Logic/Probability, Neutrosophic Over-/Under-/ Off-Set, Neutrosophic Refined Set, And Their Extension To Plithogenic Set/Logic/ Probability, With Applications, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Grado De Dependencia E Independencia De Los (Sub) Componentes De Conjuntos Borrosos Y Neutrosóficos, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

La introducción del grado de dependencia (y en consecuencia el grado de independencia) entre los componentes del conjunto difuso, y también entre los componentes del conjunto neutrosófico, se introduce por primera vez en la quinta edición del libro de Neutrosofía en el año 2006, basado en los elementos descritos en dicha edición del libro, se comienza a conocer conceptos de conjuntos neutrosóficos de los componentes borrosos así como los grados de dependencia e independencia, Por tal motivo el objetivo del presente trabajo es extender el conjunto neutrosófico refinado, teniendo en cuenta la grado de dependencia o independencia de los subcomponentes …

Tripleta De Estructura Neutrosófica Y Tripleta De Estructura Neutrosófica Extendida, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

En el presente estudio se realiza una revisión de las tripletas de estructura neutrosófica y tripleta de estructura neutrosófica extendida, con el fin de introducir nuevos conceptos a emplear en trabajos futuros.

Special Issue: Algebraic Structures Of Neutrosophic Triplets, Neutrosophic Duplets, Or Neutrosophic Multisets, Vol. Ii, Florentin Smarandache, Xiaohong Zhang, Mumtaz Ali

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Historia De Las Teorías Neutrosóficas Y Sus Aplicaciones (Actualizado), Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Historia de las Teorías Neutrosóficas y sus Aplicaciones (actualizado)

A Short Remark On Gödel Incompleteness Theorem And Its Self-Referential Paradox From Neutrosophic Logic Perspective, Florentin Smarandache, Victor Christianto

Branch Mathematics and Statistics Faculty and Staff Publications

It is known from history of mathematics, that Gödel submitted his two incompleteness theorems, which can be considered as one of hallmarks of modern mathematics in 20th century. Here we argue that Gödel incompleteness theorem and its self-referential paradox have not only put Hilbert’s axiomatic program into question, but he also opened up the problem deep inside the then popular Aristotelian Logic. Although there were some attempts to go beyond Aristotelian binary logic, including by Lukasiewicz’s three-valued logic, here we argue that the problem of self-referential paradox can be seen as reconcilable and solvable from Neutrosophic Logic perspective. Motivation of …

A Bipolar Fuzzy Extension Of The Multimoora Method, Florentin Smarandache, Dragisa Stanujkic, Darjan Karabasevic, Edmundas Kazimieras Zavadskas, Willem Brauer

Branch Mathematics and Statistics Faculty and Staff Publications

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 …

Induced Hesitant 2-Tuple Linguistic Aggregation Operators With Application In Group Decision Making, Tabasam Rashid, Ismat Beg, Raja N. Jamil

Applications and Applied Mathematics: An International Journal (AAM)

In this article, hesitant 2-tuple linguistic arguments are used to evaluate the group decision making problems which have inter dependent or inter active attributes. Operational laws are developed for hesitant 2-tuple linguistic elements and based on these operational laws hesitant 2- tuple weighted averaging operator and generalized hesitant 2- tuple averaging operator are proposed. Combining Choquet integral with hesitant 2-tuple linguistic information, some new aggregation operators are defined, including the hesitant 2-tuple correlated averaging operator, the hesitant 2-tuple correlated geometric operator and the generalized hesitant 2-tuple correlated averaging operator. These proposed operators successfully manage the correlations among the elements. After …

Predicting Cost Of Care In Total Hip Replacement, Cecily Corrine Froemke, Martin Zwick

Complex Systems Faculty Publications and Presentations

Legislative reforms aimed at slowing growth of US healthcare costs are focused on achieving greater value per dollar. To increase value healthcare providers must not only provide high quality care, but deliver this care at a sustainable cost. Predicting risks that may lead to poor outcomes and higher costs enable providers to augment decision making for optimizing patient care and inform the risk stratification necessary in emerging reimbursement models. Healthcare delivery systems are looking at their high volume service lines and identifying variation in cost and outcomes in order to determine the patient factors that are driving this variation and …

Keyword-Based Patent Citation Prediction Via Information Theory, Farshad Madani, Martin Zwick, Tugrul U. Daim

Engineering and Technology Management Faculty Publications and Presentations

Patent citation shows how a technology impacts other inventions, so the number of patent citations (backward citations) is used in many technology prediction studies. Current prediction methods use patent citations, but since it may take a long time till a patent is cited by other inventors, identifying impactful patents based on their citations is not an effective way. The prediction method offered in this article predicts patent citations based on the content of patents. In this research, Reconstructability Analysis (RA), which is based on information theory and graph theory, is applied to predict patent citations based on keywords extracted from …

Asymptotic Quasi-Completeness And Zfc, Mirna Džamonja, Marco Panza

MPP Published Research

The axioms ZFC of first order set theory are one of the best and most widely accepted, if not perfect, foundations used in mathematics. Just as the axioms of first order Peano Arithmetic, ZFC axioms form a recursively enumerable list of axioms, and are, then, subject to Gödel’s Incompleteness Theorems. Hence, if they are assumed to be consistent, they are necessarily incomplete. This can be witnessed by various concrete statements, including the celebrated Continuum Hypothesis CH. The independence results about the infinite cardinals are so abundant that it often appears that ZFC can basically prove very little about such cardinals. …

Was Frege A Logicist For Arithmetic?, Marco Panza

MPP Published Research

The paper argues that Frege’s primary foundational purpose concerning arithmetic was neither that of making natural numbers logical objects, nor that of making arithmetic a part of logic, but rather that of assigning to it an appropriate place in the architectonics of mathematics and knowledge, by immersing it in a theory of numbers of concepts and making truths about natural numbers, and/or knowledge of them transparent to reason without the medium of senses and intuition.

The Philosophical Foundations Of Plen: A Protocol-Theoretic Logic Of Epistemic Norms, Ralph E. Jenkins

Dissertations, Theses, and Capstone Projects

In this dissertation, I defend the protocol-theoretic account of epistemic norms. The protocol-theoretic account amounts to three theses: (i) There are norms of epistemic rationality that are procedural; epistemic rationality is at least partially defined by rules that restrict the possible ways in which epistemic actions and processes can be sequenced, combined, or chosen among under varying conditions. (ii) Epistemic rationality is ineliminably defined by procedural norms; procedural restrictions provide an irreducible unifying structure for even apparently non-procedural prescriptions and normative expressions, and they are practically indispensable in our cognitive lives. (iii) These procedural epistemic norms are best analyzed in …

Enthymemathical Proofs And Canonical Proofs In Euclid’S Plane Geometry, Abel Lassalle, Marco Panza

MPP Published Research

Since the application of Postulate I.2 in Euclid’s Elements is not uniform, one could wonder in what way should it be applied in Euclid’s plane geometry. Besides legitimizing questions like this from the perspective of a philosophy of mathematical practice, we sketch a general perspective of conceptual analysis of mathematical texts, which involves an extended notion of mathematical theory as system of authorizations, and an audience-dependent notion of proof.

Fast Adjustable Npn Classification Using Generalized Symmetries, Xuegong Zhou, Lingli Wang, Peiyi Zhao, Alan Mishchenko

Mathematics, Physics, and Computer Science Faculty Articles and Research

NPN classification of Boolean functions is a powerful technique used in many logic synthesis and technology mapping tools in FPGA design flows. Computing the canonical form of a function is the most common approach of Boolean function classification. In this paper, a novel algorithm for computing NPN canonical form is proposed. By exploiting symmetries under different phase assignments and higher-order symmetries of Boolean functions, the search space of NPN canonical form computation is pruned and the runtime is dramatically reduced. The algorithm can be adjusted to be a slow exact algorithm or a fast heuristic algorithm with lower quality. For …