Logic and Foundations Commons^™

Euler, Reader Of Newton: Mechanics And Algebraic Analysis, Sébastien Maronne, Marco Panza

MPP Published Research

We follow two of the many paths leading from Newton’s to Euler’s scientific productions, and give an account of Euler’s role in the reception of some of Newton’s ideas, as regards two major topics: mechanics and algebraic analysis. Euler contributed to a re-appropriation of Newtonian science, though transforming it in many relevant aspects. We study this re-appropriation with respect to the mentioned topics and show that it is grounded on the development of Newton’s conceptions within a new conceptual frame also influenced by Descartes’s views sand Leibniz’s formalism.

New Techniques To Analyse The Prediction Of Fuzzy Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

For the first time authors have ventured to study, analyse and investigate the properties of the fuzzy models, the experts opinion and so on. Here the concept of merged Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps are carried out, which are based on merged graphs and merged matrices. This concept is better than the usual combined Fuzzy Cognitive Maps. Further by this new technique we are able to give equal importance to all the experts who work with the problem. Here the new concept of New Average Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps is defined and described. This new …

New Research On Neutrosophic Algebraic Structures, Florentin Smarandache, Mumtaz Ali, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

In this book, we define several new neutrosophic algebraic structures and their related properties. The main focus of this book is to study the important class of neutrosophic rings such as neutrosophic LA-semigroup ring, neutrosophic loop ring, neutrosophic groupoid ring and so on. We also construct their generalization in each case to study these neutrosophic algebraic structures in a broader sense. The indeterminacy element “ I “ gives rise to a more bigger algebraic structure than the classical algebraic structures. It mainly classifies the algebraic structures in three categories: such as neutrosophic algebraic structures, strong neutrosophic algebraic structures, and classical …

Neutrosophic Parametrized Soft Set Theory And Its Decision Making, Said Broumi, Irfan Deli, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this work, we present definition of neutrosophic parameterized (NP) soft set and its operations. Then we define NP-aggregation operator to form NP-soft decision making method which allows constructing more efficient decision processes. We also dive an example which shows that they can be successfully applied to problem that contain indeterminacy.

Neutrosophic Ideal Theory Neutrosophic Local Function And Generated Neutrosophic Topology, A. A. Salama, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we introduce the notion of ideals on neutrosophic set which is considered as a generalization of fuzzy and fuzzy intuitionistic ideals studies in [9,11] , the important neutrosophic ideals has been given in [4]. The concept of neutrosophic local function is also introduced for a neutrosophic topological space. These concepts are discussed with a view to find new nutrosophic topology from the original one in [8]. The basic structure, especially a basis for such generated neutrosophic topologies and several relations between different neutrosophic ideals and neutrosophic topologies are also studied here. Possible application to GIS topology rules …

Lower And Upper Soft Interval Valued Neutrosophic Rough Approximations Of An Ivnss-Relation, Said Broumi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we extend the lower and upper soft interval valued intuitionistic fuzzy rough approximations of IVIFS –relations proposed by Anjan et al. to the case of interval valued neutrosophic soft set relation(IVNSS-relation for short)

Intuitionistic Neutrosophic Soft Set Over Rings, Florentin Smarandache, Said Broumi, Pabitra Kumar Maji

Branch Mathematics and Statistics Faculty and Staff Publications

S.Broumi and F.Smarandache introduced the concept of intuitionistic neutrosophic soft set as an extension of the soft set theory. In this paper we have applied the concept of intuitionistic neutrosophic soft set to rings theory .The notion of intuitionistic neutrosophic soft set over ring (INSSOR for short ) is introduced and their basic properties have been investigated.The definitions of intersection, union, AND, and OR operations over ring (INSSOR) have also been defined. Finally, we have defined the product of two intuitionistic neutrosophic soft set over ring.

Law Of Included Multiple-Middle & Principle Of Dynamic Neutrosophic Opposition, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the author pledges for the generalization of the Lupasco-Nicolescu’s Law of Included Middle [A, nonA, and a third value T which resolves their contradiction at another level of reality] to the Law of Included Multiple-Middle [A, antiA, and neutA, which is split into a multitude of neutralities between A and antiA, such as neutA1, neutA2, etc.]. The value (i.e. neutrality or indeterminacy related to A) actually comprises the included middle value.

Further, similarly to the extension from dialectics to neutrosophy, the author extends the Principle of Dynamic Opposition [opposition between A and antiA] …

Algebraic Structures On Fuzzy Unit Square And Neutrosophic Unit Square, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors build algebraic structures on fuzzy unit semi open square UF = {(a, b) | a, b  [0, 1)} and on the fuzzy neutrosophic unit semi open square UN = {a + bI | a, b  [0, 1)}. This study is new and we define, develop and describe several interesting and innovative theories about them. We cannot build ring on UN or UF. We have only pseudo rings of infinite order. We also build pseudo semirings using these semi open unit squares. We construct vector spaces, S-vector spaces and strong pseudo special vector space using …

Neutrosophic Theory And Its Applications : Collected Papers - Vol. 1, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic Theory means Neutrosophy applied in many fields in order to solve problems related to indeterminacy. 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. This theory considers every entity together with its opposite or negation and with their spectrum of neutralities in between them (i.e. entities supporting neither nor ). The and ideas together are referred to as . Neutrosophy is a generalization of Hegel's dialectics (the last one is based on and only). According to this theory every entity tends to be …

Algebraic Structures On Real And Neutrosophic Semi Open Squares, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Here for the first time we introduce the semi open square using modulo integers. Authors introduce several algebraic structures on them. These squares under addition modulo ‘n’ is a group and however under product  this semi open square is only a semigroup as under  the square has infinite number of zero divisors. Apart from + and  we define min and max operation on this square. Under min and max operation this semi real open square is a semiring. It is interesting to note that this semi open square is not a ring under + and  since …

Algebraic Structures On The Fuzzy Interval [0, 1), Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we introduce several algebraic structures on the special fuzzy interval [0, 1). This study is different from that of the algebraic structures using the interval [0, n) n ≠ 1, as these structures on [0, 1) has no idempotents or zero divisors under ×. Further [0, 1) under product × is only a semigroup. However by defining min(or max) operation in [0, 1); [0, 1) is made into a semigroup. The semigroup under × has no finite subsemigroups but under min or max we have subsemigroups of order one, two and so on. [0, 1) under + …

Special Pseudo Linear Algebras Using [0,N), Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we introduce some special type of linear algebras called pseudo special linear algebras using the interval [0, n). These new types of special pseudo interval linear algebras has several interesting properties. Special pseudo interval linear algebras are built over the subfields in Zn where Zn is a S-ring. We study the substructures of them. The notion of Smarandache special interval pseudo linear algebras and Smarandache strong special pseudo interval linear algebras are introduced. The former Sspecial interval pseudo linear algebras are built over the Sring itself. Study in this direction has yielded several interesting results. S-strong special …

Groupoids Of Type I And Ii Using [0, N), Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Study of algebraic structures built using [0, n) happens to be one of an interesting and innovative research. Here in this book authors define non associative algebraic structures using the interval [0, n). Here we define two types of groupoids using [0, n) both of them are of infinite order. It is an open conjecture to find whether these new class of groupoids satisfy any of the special identities like Moufang identity or Bol identity or Bruck identity or so on. We know on [0, n) we cannot build rings only pseudo rings, however in this book we use these …

Algebraic Structures On Finite Complex Modulo Integer Interval C([0, N)), Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors introduce the notion of finite complex modulo integer intervals. Finite complex modulo integers was introduced by the authors in 2011. Now using this finite complex modulo integer intervals several algebraic structures are built. Further the concept of finite complex modulo integers itself happens to be new and innovative for in case of finite complex modulo integers the square value of the finite complex number varies with varying n of Zn. In case of finite complex modulo integer intervals also we can have only pseudo ring as the distributive law is not true, in general in C([0, …

Soft Neutrosophic Algebraic Structures And Their Generalization - Vol. 2, Florentin Smarandache, Mumtaz Ali, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we define some new notions of soft neutrosophic algebraic structures over neutrosophic algebraic structures. We define some different soft neutrosophic algebraic structures but the main motivation is two-fold. Firstly the classes of soft neutrosophic group ring and soft neutrosophic semigroup ring defined in this book is basically the generalization of two classes of rings: neutrosophic group rings and neutrosophic semigroup rings. These soft neutrosophic group rings and soft neutrosophic semigroup rings are defined over neutrosophic group rings and neutrosophic semigroup rings respectively. This is basically the collection of parameterized subneutrosophic group ring and subneutrosophic semigroup ring of …

Soft Neutrosophic Algebraic Structures And Their Generalization - Vol. 1, Florentin Smarandache, Mumtaz Ali, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduced the notions of soft neutrosophic algebraic structures. These soft neutrosophic algebraic structures are basically defined over the neutrosophic algebraic structures which means a parameterized collection of subsets of the neutrosophic algebraic structure. For instance, the existence of a soft neutrosophic group over a neutrosophic group or a soft neutrosophic semigroup over a neutrosophic semigroup, or a soft neutrosophic field over a neutrosophic field, or a soft neutrosophic LA-semigroup over a neutrosophic LAsemigroup, or a soft neutosophic loop over a neutrosophic loop. It is interesting to note that these notions are defined over finite and …

Distance In Matrices And Their Applications To Fuzzy Models And Neutrosophic Models, 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 distance between any two m  n matrices. If the distance is 0 or m  n there is nothing interesting. When the distance happens to be a value t; 0 < t < m  n the study is both innovating and interesting. The three cases of study which is carried out in this book are 1. If the difference between two square matrices is large, will it imply the eigen values and eigen vectors of those matrices are distinct? Several open conjectures in this direction are given. 2. The difference between parity check matrix and the generator matrix for the same C(n, k) code is studied. This will help in detecting errors in storage systems as well as in cryptography.

Solving Diophantine Equations, Florentin Smarandache, Octavian Cira

Branch Mathematics and Statistics Faculty and Staff Publications

In recent times, we witnessed an explosion of Number Theory problems that are solved using mathematical software and powerful computers. The observation that the number of transistors packed on integrated circuits doubles every two years made by Gordon E. Moore in 1965 is still accurate to this day. With ever increasing computing power more and more mathematical problems can be tacked using brute force. At the same time the advances in mathematical software made tools like Maple, Mathematica, Matlab or Mathcad widely available and easy to use for the vast majority of the mathematical research community. This tools don’t only …

Comments On The Paper “An Alternative Combination Rule For Evidential Reasoning” By Sebbak Et Al., Published In Fusion 2014 Conference, Salamanca, Spain, July 2014, Florentin Smarandache, Jean Dezert, Arnaud Martin

Branch Mathematics and Statistics Faculty and Staff Publications

In this note we want to show that the PCR6 fusion rule works and redistributes the conflicting mass properly, contrarily to the authors’ assertion that “the focal element {v3} absorbs almost all of the conflicting mass (the majority).” We also question the validity of the new CREC rule of combination presented by the authors.

Eccentricity, Space Bending, Dimension, Florentin Smarandache, Marian Nitu, Mircea Eugen Selariu

Branch Mathematics and Statistics Faculty and Staff Publications

The main goal of this paper is to present new transformations, previously non-existent in traditional mathematics, that we call centric mathematics (CM) but that became possible due to the new born eccentric mathematics, and, implicitly, to the supermathematics (SM).

As shown in this work, the new geometric transformations, namely conversion or transfiguration, wipe the boundaries between discrete and continuous geometric forms, showing that the first ones are also continuous, being just apparently discontinuous.

New Results Of Intuitionistic Fuzzy Soft Set, Florentin Smarandache, Said Broumi, Mamoni Dhar, Pinaki Majumdar

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, three new operations are introduced on intuitionistic fuzzy soft sets .They are based on concentration, dilatation and normalization of intuitionistic fuzzy sets. Some examples of these operations were given and a few important properties were also studied.

New Operations Over Interval Valued Intuitionistic Hesitant Fuzzy Set, Florentin Smarandache, Said Broumi

Branch Mathematics and Statistics Faculty and Staff Publications

Hesitancy is the most common problem in decision making, for which hesitant fuzzy set can be considered as a useful tool allowing several possible degrees of membership of an element to a set. Recently, another suitable means were defined by Zhiming Zhang [1], called interval valued intuitionistic hesitant fuzzy sets, dealing with uncertainty and vagueness, and which is more powerful than the hesitant fuzzy sets. In this paper, four new operations are introduced on interval-valued intuitionistic hesitant fuzzy sets and several important properties are also studied.

New Operations On Interval Neutrosophic Sets, Said Broumi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

An interval neutrosophic set is an instance of a neutrosophic set, which can be used in real scientific and engineering applications. In this paper, three new operations based on the arithmetic mean, geometrical mean, and respectively harmonic mean are defined on interval neutrosophic sets.

Further Generalization Of N-D Distance And N-D Dependent Function In Extenics, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Prof. Cai Wen [1] defined the 1-D Distance and 1-D Dependent Function in 1983. F. Smarandache [6] generalized them to n-D Distance and n-D Dependent Function respectively in 2012 during his postdoc research at Guangdong University of Technology in Guangzhou. O. I. Şandru [7] extended the last results in 2013. Now [2015], as a further generalization, we unify all these results into a single formula for the n-D Distance and respectively for the n-D Dependent Function.

Neutrosophic Crisp Sets & Neutrosophic Crisp Topological Spaces, A. A. Salama, Florentin Smarandache, Valeri Kroumov

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we generalize the crisp topological space to the notion of neutrosophic crisp topological space, and we construct the basic concepts of the neutrosophic crisp topology. In addition to these, we introduce the definitions of neutrosophic crisp continuous function and neutrosophic crisp compact spaces. Finally, some characterizations concerning neutrosophic crisp compact spaces are presented and one obtains several properties. Possible application to GIS topology rules are touched upon.

Multi-Criteria Decision Making Based On Dsmt-Ahp, Jean Dezert, Jean Marc Tacnet, Mireille Batton-Hubert, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we present an extension of the multicriteria decision making based on the Analytic Hierarchy Process (AHP) which incorporates uncertain knowledge matrices for generating basic belief assignments (bba’s). The combination of priority vectors corresponding to bba’s related to each (sub)- criterion is performed using the Proportional Conflict Redistribution rule no. 5 proposed in Dezert-Smarandache Theory (DSmT) of plausible and paradoxical reasoning. The method presented here, called DSmT-AHP, is illustrated on very simple examples.

Single Valued Neutrosophic Information Systems Based On Rough Set Theory, Said Broumi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The theory of rough sets was firstly proposed by Pawlak. Later on, Smarandache introduced the concept of neutrosophic (NS) sets in 1998. In this paper based on the concept of rough neutrosohic set, we define the concept of single valued neutrosophic information systems. In addition, we will discuss the knowledge reduction and extension of the single valued neutrosophic information systems.

Interval Neutrosophic Logic, Haibin Wang, Florentin Smarandache, Yan-Qing Zhang, Rajshekhar Sunderraman

Branch Mathematics and Statistics Faculty and Staff Publications

Interval Neutrosophic Logic

A Proof-Theoretic Semantic Analysis Of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić

Engineering Faculty Articles and Research

The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm which has been successfully employed to give a proof-theoretic semantic account of modal and substructural …