Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Mathematics (2)
- Neutrosophic logic (2)
- Artificial intelligence (1)
- Bargaining Theory (1)
- Book review (1)
-
- Boolean functions (1)
- Boolean matching (1)
- CSP (1)
- Canonical form (1)
- Category theory (1)
- Classification algorithms (1)
- Cofactor signature (1)
- Computer Science (1)
- Decision-making (1)
- Epistemic Game Theory (1)
- Euclid (1)
- Field programmable gate arrays (1)
- Free monoid (1)
- Fuzzy cognitive maps (1)
- Física neutrosófica (1)
- Física paradoxista (1)
- Game Theory (1)
- Giorgio Israel (1)
- Google colaboratory (1)
- Graph theory (1)
- Heuristic algorithms (1)
- Input variables (1)
- Language (1)
- Libraries (1)
- Linear Programming Problem (1)
- Publication
- Publication Type
Articles 1 - 22 of 22
Full-Text Articles in Other Mathematics
Asymptotic Quasi-Completeness And Zfc, Mirna Džamonja, Marco Panza
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
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.
Enthymemathical Proofs And Canonical Proofs In Euclid’S Plane Geometry, Abel Lassalle, Marco Panza
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
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 …
Coincidence Of Bargaining Solutions And Rationalizability In Epistemic Games, Todd Stambaugh
Coincidence Of Bargaining Solutions And Rationalizability In Epistemic Games, Todd Stambaugh
Dissertations, Theses, and Capstone Projects
Chapter 1: In 1950, John Nash proposed the Bargaining Problem, for which a solution is a function that assigns to each space of possible utility assignments a single point in the space, in some sense representing the ’fair’ deal for the agents involved. Nash provided a solution of his own, and several others have been presented since then, including a notable solution by Ehud Kalai and Meir Smorodinsky. In chapter 1, a complete account is given for the conditions under which the two solutions will coincide for two player bargaining scenarios.
Chapter 2: In the same year, Nash …
On Rugina’S System Of Thought, Florentin Smarandache
On Rugina’S System Of Thought, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
This article investigates Rugina's orientation table and gives particular examples for several of its seven models. Leon Walras's Economics of Stable Equilibrium and Keynes's Economics of Disequilibrium are combined in Rugina's orientation table in systems which are s percent stable and 100 ÿ s percent unstable, where s may be 100, 95, 65, 50, 35, 5, and 0. Classical logic and modern logic are united in Rugina's integrated logic, and then generalized in neutrosophic logic.
Strong Degrees In Single Valued Neutrosophic Graphs, Florentin Smarandache, Said Broumi, Assia Bakali, Seema Mehra, Mohamed Talea, Manjeet Singh
Strong Degrees In Single Valued Neutrosophic Graphs, Florentin Smarandache, Said Broumi, Assia Bakali, Seema Mehra, Mohamed Talea, Manjeet Singh
Branch Mathematics and Statistics Faculty and Staff Publications
The concept of single valued neutrosophic graphs (SVNGs) generalizes the concept of fuzzy graphs and intuitionistic fuzzy graphs. The purpose of this research paper is to define different types of strong degrees in SVNGs and introduce novel concepts, such as the vertex truth-membership, vertex indeterminacy-membership and falsity-membership sequence in SVNG with proof and numerical illustrations.
Review Of G. Israel, Meccanicismo. Trionfi E Miserie Della Visione Meccanica Del Mondo, Marco Panza
Review Of G. Israel, Meccanicismo. Trionfi E Miserie Della Visione Meccanica Del Mondo, Marco Panza
MPP Published Research
"This is Giorgio's Israel last book, which appeared only a few weeks after his untimely death, in September 2015. For many reasons, it can be considered as his intellectual legacy, since it comes back, in a new and organic way, to many of the research topics to which he devoted his life and his many publications, which include several papers in Historia Mathematica. One of these papers, co-authored with M. Menghini, appeared in vol. 25/4, 1998 and was devoted to Poincaré's and Enriques's opposite views on qualitative analysis, which is a theme also dealt with in this book (pp. 117–122)."
Neutrosophic Soft Rough Graphs With Application, Florentin Smarandache, Muhammad Akram, Hafsa M. Malik, Sundas Shahzadi
Neutrosophic Soft Rough Graphs With Application, Florentin Smarandache, Muhammad Akram, Hafsa M. Malik, Sundas Shahzadi
Branch Mathematics and Statistics Faculty and Staff Publications
Neutrosophic sets (NSs) handle uncertain information while fuzzy sets (FSs) and intuitionistic fuzzy sets (IFs) fail to handle indeterminate information. Soft set theory, neutrosophic set theory, and rough set theory are different mathematical models for handling uncertainties and they are mutually related. The neutrosophic soft rough set (NSRS) model is a hybrid model by combining neutrosophic soft sets with rough sets. We apply neutrosophic soft rough sets to graphs. In this research paper, we introduce the idea of neutrosophic soft rough graphs (NSRGs) and describe different methods of their construction. We consider the application of NSRG in decision-making problems. In …
Fundamentals Of Neutrosophic Logic And Sets And Their Role In Artificial Intelligence (Fundamentos De La Lógica Y Los Conjuntos Neutrosóficos Y Su Papel En La Inteligencia Artificial ), Florentin Smarandache, Maykel Leyva-Vazquez
Fundamentals Of Neutrosophic Logic And Sets And Their Role In Artificial Intelligence (Fundamentos De La Lógica Y Los Conjuntos Neutrosóficos Y Su Papel En La Inteligencia Artificial ), Florentin Smarandache, Maykel Leyva-Vazquez
Branch Mathematics and Statistics Faculty and Staff Publications
Neutrosophy is a new branch of philosophy which studies the origin, nature and scope of neutralities. This has formed the basis for a series of mathematical theories that generalize the classical and fuzzy theories such as the neutrosophic sets and the neutrosophic logic. In the paper, the fundamental concepts related to neutrosophy and its antecedents are presented. Additionally, fundamental concepts of artificial intelligence will be defined and how neutrosophy has come to strengthen this discipline.
Neutrosophic Logic: The Revolutionary Logic In Science And Philosophy -- Proceedings Of The National Symposium, Florentin Smarandache, Huda E. Khalid, Ahmed K. Essa
Neutrosophic Logic: The Revolutionary Logic In Science And Philosophy -- Proceedings Of The National Symposium, Florentin Smarandache, Huda E. Khalid, Ahmed K. Essa
Branch Mathematics and Statistics Faculty and Staff Publications
The first part of this book is an introduction to the activities of the National Symposium, as well as a presentation of Neutrosophic Scientific International Association (NSIA), based in New Mexico, USA, also explaining the role and scope of NSIA - Iraqi branch. The NSIA Iraqi branch presents a suggestion for the international instructions in attempting to organize NSIA's work. In the second chapter, the pivots of the Symposium are presented, including a history of neutrosophic theory and its applications, the most important books and papers in the advancement of neutrosophics, a biographical note of Prof. Florentin Smarandache in Arabic …
Special Issue: Algebraic Structures Of Neutrosophic Triplets, Neutrosophic Duplets, Or Neutrosophic Multisets, Vol. I, Florentin Smarandache, Xiaohong Zhang, Mumtaz Ali
Special Issue: Algebraic Structures Of Neutrosophic Triplets, Neutrosophic Duplets, Or Neutrosophic Multisets, Vol. I, Florentin Smarandache, Xiaohong Zhang, Mumtaz Ali
Branch Mathematics and Statistics Faculty and Staff Publications
Neutrosophy (1995) is a new branch of philosophy that studies triads of the form (, , ), where is an entity (i.e., element, concept, idea, theory, logical proposition, etc.), is the opposite of , while is the neutral (or indeterminate) between them, i.e., neither nor [1]. Based on neutrosophy, the neutrosophic triplets were founded; they have a similar form: (x, neut(x), anti(x), that satisfy some axioms, for each element x in a given set [2–4]. This book contains the successful invited submissions [5–56] to a special issue of Symmetry, reporting on state-of-the-art and recent advancements of neutrosophic triplets, neutrosophic …
Neutrosophic Linear Programming Problems, Florentin Smarandache, Abdel-Nasser Hussian, Mai Mohamed, Mohamed Abdel-Baset
Neutrosophic Linear Programming Problems, Florentin Smarandache, Abdel-Nasser Hussian, Mai Mohamed, Mohamed Abdel-Baset
Branch Mathematics and Statistics Faculty and Staff Publications
Smarandache presented neutrosophic theory as a tool for handling undetermined information. Wang et al. introduced a single valued neutrosophic set that is a special neutrosophic sets and can be used expediently to deal with real-world problems, especially in decision support. In this paper, we propose linear programming problems based on neutrosophic environment. Neutrosophic sets are characterized by three independent parameters, namely truth-membership degree (T), indeterminacy-membership degree (I) and falsity-membership degree (F), which are more capable to handle imprecise parameters. We also transform the neutrosophic linear programming problem into a crisp programming model by using neutrosophic set parameters. To measure the …
Operadores Con Conjunto Neutrosóficos De Valor Único Oversets, Undersets Y Offset, Florentin Smarandache
Operadores Con Conjunto Neutrosóficos De Valor Único Oversets, Undersets Y Offset, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
Neutrosophic Over-/Under-/Off-Set and Logic were defined for the first time in 1995 and published in 2007. During 1995-2016 was presented them to various national and international conferences and seminars. These new notions are totally different from other sets/logics/probabilities. We extended the neutrosophic set respectively to Neutrosophic Overset {when some neutrosophic component is > 1}, to 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 since our realworld has numerous examples and applications of over-/under-/off-neutrosophic components. Palabras clave. desbordado neutrosophic, underset neutrosophic, neutrosophic offset, neutrosophic sobre la lógica, neutrosophic bajo la lógica, neutrosophic off lógica, neutrosophic sobre la probabilidad, neutrosophic bajo probabilidad, neutrosophic de probabilidad, más de miembros (grado de pertenencia> 1), bajo de miembros (grado de pertenencia <0) , (grado de pertenencia fuera del intervalo [0, 1]) offmembership.
Neutrosophic Computing With Sympy (Computación Neutrosófica Mediante Sympy ), Maykel Leyva-Vazquez, Florentin Smarandache
Neutrosophic Computing With Sympy (Computación Neutrosófica Mediante Sympy ), Maykel Leyva-Vazquez, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this article the concept of neutrosophic number is presented. Jupyter through Google Colaboratory is introduced for calculations. The Sympy library is used to perform the process of neutrosophic computation. Systems of linear neutrosóficas equations are solved by means of the symbolic computation in python. A case study was developed for the determination of vehicular traffic with indeterminacy. As future works are the development of new applications in different areas of engineering and science.
N-Valued Refined Neutrosophic Logic And Its Applications To Physics (Lógica Neutrosófica Refinada N-Valuada Y Sus Aplicaciones A La Física), Florentin Smarandache
N-Valued Refined Neutrosophic Logic And Its Applications To Physics (Lógica Neutrosófica Refinada N-Valuada Y Sus Aplicaciones A La Física), Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this paper we present a short history of logics: from particular cases of 2-symbol or numerical valued logic to the general case of n-symbol or numerical valued logic. We show generalizations of 2-valued Boolean logic to fuzzy logic, also from the Kleene’s and Lukasiewicz’ 3-symbol valued logics or Belnap’s 4-symbol valued logic to the most general nsymbol or numerical valued refined neutrosophic logic. Examples of applications of neutrosophic logic to physics are listed in the last section. Similar generalizations can be done for n-Valued Refined Neutrosophic Set, and respectively.
Mental Models And Neutrosophic Cognitive Maps (Modelos Mentales Y Mapas Cognitivos Neutrosóficos), Maykel Leyva-Vazquez, Rebeca Escobar-Jara, Florentin Smarandache
Mental Models And Neutrosophic Cognitive Maps (Modelos Mentales Y Mapas Cognitivos Neutrosóficos), Maykel Leyva-Vazquez, Rebeca Escobar-Jara, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this work, elements related to mental models elicitation and analysis are addressed through causal models. Issues related to the need to include indeterminacy in causal relationships through neutrophic cognitive maps are discussed. A proposal for static analysis in neutrosophic cognitive maps is presented. The following activities are included in the proposal: Calculate, measures of centrality, Classify nodes, De-neutrosification, and Ranking nodes. As future works, the incorporation of new metrics of centrality in neutrosophic cognitive maps is proposed. The inclusion of scenario analysis to the proposal is another area of future work.
Logic -> Proof -> Rest, Maxwell Taylor
Logic -> Proof -> Rest, Maxwell Taylor
Senior Independent Study Theses
REST is a common architecture for networked applications. Applications that adhere to the REST constraints enjoy significant scaling advantages over other architectures. But REST is not a panacea for the task of building correct software. Algebraic models of computation, particularly CSP, prove useful to describe the composition of applications using REST. CSP enables us to describe and verify the behavior of RESTful systems. The descriptions of each component can be used independently to verify that a system behaves as expected. This thesis demonstrates and develops CSP methodology to verify the behavior of RESTful applications.
Subset Vertex Graphs For Social Networks, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral
Subset Vertex Graphs For Social Networks, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral
Branch Mathematics and Statistics Faculty and Staff Publications
In this book authors for the first time introduce the notion of subset vertex graph using the vertex set as the subset of the power set P(S), S is assumed in this book to be finite; however it can be finite or infinite. We have defined two types of subset vertex graphs, one is directed and the other one is not directed. The most important fact which must be kept in record is that for a given set of vertices there exists one and only one subset vertex graph be it of type I or type II. Several important and …
Conjunto Plitogénico, Una Extensión De Los Conjuntos Crisp, Difusos, Conjuntos Difusos Intuicionistas Y Neutrosóficos Revisitado, Florentin Smarandache
Conjunto Plitogénico, Una Extensión De Los Conjuntos Crisp, Difusos, Conjuntos Difusos Intuicionistas Y Neutrosóficos Revisitado, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
En el presente artículo, introducimos el conjunto plitogénico (como generalización de conjuntos nítidos, borrosos, intuicionistas, borrosos y neutrosóficos), que es un conjunto cuyos elementos se caracterizan por los valores de muchos atrib utos. Un valor de atributo v tiene un grado correspondiente (difuso, intuicionista difuso o neutrosófico) de pertenencia d (x, v) del elemento x, al conjunto P, con respecto a algunos criterios dados. Para obtener una mejor precisión para los operadores d e agregación plitogénica en el conjunto plitogénico, y para una inclusión más exacta (orden parcial), se define un grado de contradicción (disimilitud difusa, intuicionista difusa o neutrosófica) …
Special Subset Vertex Subgraphs For Social Networks, Florentin Smarandache, W. B. Vasantha Kandasamy, Ilanthenral K
Special Subset Vertex Subgraphs For Social Networks, Florentin Smarandache, W. B. Vasantha Kandasamy, Ilanthenral K
Branch Mathematics and Statistics Faculty and Staff Publications
In this book authors for the first time introduce the new notion of special subset vertex subgraph of subset vertex graphs introduced recently in [46]. These subset vertex graphs takes the vertex set values from the power set P(X) of any set X. The main speciality of these subset vertex graphs is that once a set of subsets from P(X) is given, the edges of the graph are fixed in a unique way, so for a given collection of subset vertices the graph is always unique [46]. The special subset vertex subgraphs of G are the ones, which have the …
Modelo De Recomendación Basado En Conocimiento Y Números Svn, Maykel Leyva-Vazquez, Florentin Smarandache
Modelo De Recomendación Basado En Conocimiento Y Números Svn, Maykel Leyva-Vazquez, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
Recommendation models are useful in the decision-making process that allow the user a set of options that are expected to meet their expectations. Recommendation models are useful in the decision-making process that offer the user a set of options that are expected to meet their SVN expectations to express linguistic terms.