Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), 2015 University of Oxford
Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel
Engineering Faculty Articles and Research
This report documents the program and the outcomes of Dagstuhl Seminar 15042 “Coalgebraic Semantics of Reflexive Economics”.
Presenting Distributive Laws, 2015 Leiden University
Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, Jurriaan Rot
Engineering Faculty Articles and Research
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a free monad, then such distributive laws correspond to simple natural transformations. However, when T is not free it can be rather difficult to prove the defining axioms of a distributive law. In this paper we describe how to obtain a distributive law for a monad with an equational presentation …
Pruebas Entimemáticas Y Pruebas Canónicas En La Geometría Plana De Euclides, 2015 Chapman University
Pruebas Entimemáticas Y Pruebas Canónicas En La Geometría Plana De Euclides, Marco Panza, Abel Lassalle Casanave
MPP Published Research
Dado que la aplicación del Postulado I.2 no es uniforme en Elementos, ¿de qué manera debería ser aplicado en la geometría plana de Euclides? Además de legitimar la pregunta misma desde la perspectiva de una filosofía de la práctica matemática, nos proponemos esbozar una perspectiva general de análisis conceptual de textos matemáticos que involucra una noción ampliada de la teoría matemática como sistema de autorizaciones o potestades y una noción de prueba que depende del auditorio.
Since the application of Postulate I.2 in the Elements is not uniform, one could wonder in what way should it be applied in Euclid’s …
The Logical System Of Frege’S Grundgesetze : A Rational Reconstruction, 2015 University of Paris
The Logical System Of Frege’S Grundgesetze : A Rational Reconstruction, Méven Cadet, Marco Panza
MPP Published Research
This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.
Philosophy Of Mathematics: Theories And Defense, 2015 University of Akron Main Campus
Philosophy Of Mathematics: Theories And Defense, Amy E. Maffit
Williams Honors College, Honors Research Projects
In this paper I discuss six philosophical theories of mathematics including logicism, intuitionism, formalism, platonism, structuralism, and moderate realism. I also discuss problems that arise within these theories and attempts to solve them. Finally, I attempt to harmonize the best features of moderate realism and structuralism, presenting a theory that I take to best describe current mathematical practice.
Neutrosophic Graphs: A New Dimension To Graph Theory, 2015 University of New Mexico
Neutrosophic Graphs: A New Dimension To Graph Theory, Florentin Smarandache, Wb. Vasantha Kandasamy, K. Ilanthenral
Branch Mathematics and Statistics Faculty and Staff Publications
In this book authors for the first time have made a through study of neutrosophic graphs. This study reveals that these neutrosophic graphs give a new dimension to graph theory. The important feature of this book is it contains over 200 neutrosophic graphs to provide better understanding of this concepts. Further these graphs happen to behave in a unique way inmost cases, for even the edge colouring problem is different from the classical one. Several directions and dimensions in graph theory are obtained from this study. Finally certainly these new notions of neutrosophic graphs in general and in particular the …
Special Type Of Topological Spaces Using [0, N), 2015 University of New Mexico
Special Type Of Topological Spaces Using [0, N), Florentin Smarandache, W.B Vasantha Kandasamy
Branch Mathematics and Statistics Faculty and Staff Publications
In this book authors for the first time introduce the notion of special type of topological spaces using the interval [0, n). They are very different from the usual topological spaces. Algebraic structure using the interval [0, n) have been systemically dealt by the authors. Now using those algebraic structures in this book authors introduce the notion of special type of topological spaces. Using the super subset interval semigroup special type of super interval topological spaces are built. Several interesting results in this direction are obtained. Next six types of topological spaces using subset interval pseudo ring semiring of type …
Neutrosophic Crisp Set Theory, 2015 University of New Mexico
Neutrosophic Crisp Set Theory, Florentin Smarandache, A.A. Salama
Branch Mathematics and Statistics Faculty and Staff Publications
Since the world is full of indeterminacy, the Neutrosophics found their place into contemporary research. We now introduce for the first time the notions of Neutrosophic Crisp Sets and Neutrosophic Topology on Crisp Sets. We develop the 2012 notion of Neutrosophic Topological Spaces and give many practical examples. Neutrosophic Science means development and applications of Neutrosophic Logic, Set, Measure, Integral, Probability etc., and their applications in any field. It is possible to define the neutrosophic measure and consequently the neutrosophic integral and neutrosophic probability in many ways, because there are various types of indeterminacies, depending on the problem we need …
Probleme De Geometrie Și Trigonometrie, Compilate Și Rezolvate, 2015 University of New Mexico
Probleme De Geometrie Și Trigonometrie, Compilate Și Rezolvate, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
No abstract provided.
Α-Discounting Method For Multi-Criteria Decision Making (Α-D Mcdm), 2015 University of New Mexico
Α-Discounting Method For Multi-Criteria Decision Making (Α-D Mcdm), Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this book we introduce a new procedure called αDiscounting Method for Multi-Criteria Decision Making (α-D MCDM), which is as an alternative and extension of Saaty’s Analytical Hierarchy Process (AHP). It works for any number of preferences that can be transformed into a system of homogeneous linear equations. A degree of consistency (and implicitly a degree of inconsistency) of a decision-making problem are defined. α-D MCDM is afterwards generalized to a set of preferences that can be transformed into a system of linear and/or non-linear homogeneous and/or nonhomogeneous equations and/or inequalities. Many consistent, weak inconsistent, and strong inconsistent examples are …
Readup Buildup. Thync - Instant Α-Readings, 2015 University of New Mexico
Readup Buildup. Thync - Instant Α-Readings, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
No abstract provided.
Quaestiones Neutrosophicae, 2015 University of New Mexico
Quaestiones Neutrosophicae, Florentin Smarandache, Yale Landsberg
Branch Mathematics and Statistics Faculty and Staff Publications
The following dialogue contains cuts from different non-protocolar conversations, initially not intended for publication, held by the authors by email during the beginning of 2015 – on Neutrosophy and related topics.
Many thanks to all friends and dialogue partners who payed attention to Neutrosophy and connected areas, in emails, yahoo groups, social media, letters, private discussions.
Techno-Art Of Selariu Supermathematics Functions, 2nd Volume, 2015 University of New Mexico
Techno-Art Of Selariu Supermathematics Functions, 2nd Volume, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
An ALBUM, according to the dictionary, is defined as "notebook for storing photos, postcards, stamps, lyrics, quotes etc.", which, in other words, means gatherings of "pieces" of the same "species". Or, in the new Techno-Art of Selariu SuperMathematics Functions ALBUM (the second book of Selariu SuperMathematics Functions), one contemplates a unique COMPOSITION, INTER-, INTRA- and TRANS-DISCIPLINARY. (Capitalizing here is not a futility, but a harmony with the TRUTH.) One caveat I am indebted to do, as a consequent "reader" – over time, I received the ALBUM, chapter by chapter, pace by pace, which gave me the time to analyze / …
N-Valued Interval Neutrosophic Sets And Their Application In Medical Diagnosis, 2015 University of New Mexico
N-Valued Interval Neutrosophic Sets And Their Application In Medical Diagnosis, Said Broumi, Irfan Deli, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this paper a new concept is called n-valued interval neutrosophic sets is given. The basic operations are introduced on n-valued interval neutrosophic sets such as; union, intersection, addition, multiplication, scalar multiplication, scalar division, truthfavorite and false-favorite. Then, some distances between n-valued interval neutrosophic sets (NVINS) are proposed. Also, we propose an efficient approach for group multi-criteria decision making based on n-valued interval neutrosophic sets. An application of n-valued interval neutrosophic sets in medical diagnosis problem is given.
(T, I, F)-Neutrosophic Structures, 2015 University of New Mexico
(T, I, F)-Neutrosophic Structures, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this paper we introduce for the first time a new type of structures, called (T, I, F)-Neutrosophic Structures, presented from a neutrosophic logic perspective, and we show particular cases of such structures in geometry and in algebra. In any field of knowledge, each structure is composed from two parts: a space, and a set of axioms (or laws) acting (governing) on it. If the space, or at least one of its axioms (laws), has some indeterminacy, that structure is a (T, I, F)-Neutrosophic Structure.
Neutrosophic Axiomatic System, 2015 University of New Mexico
Neutrosophic Axiomatic System, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this paper, we introduce for the first time the notions of Neutrosophic Axiom, Neutrosophic Axiomatic System, Neutrosophic Deducibility and Neutrosophic Inference, Neutrosophic Proof, Neutrosophic Tautologies, Neutrosophic Quantifiers, Neutrosophic Propositional Logic, Neutrosophic Axiomatic Space, Degree of Contradiction (Dissimilarity) of Two Neutrosophic Axioms, and Neutrosophic Model. A class of neutrosophic implications is also introduced. A comparison between these innovatory neutrosophic notions and their corresponding classical notions is made. Then, three concrete examples of neutrosophic axiomatic systems, describing the same neutrosophic geometrical model, are presented at the end of the paper.
Symbolic Neutrosophic Theory, 2015 University of New Mexico
Symbolic Neutrosophic Theory, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
Symbolic (or Literal) Neutrosophic Theory is referring to the use of abstract symbols (i.e. the letters T, I, F, or their refined indexed letters Tj, Ik, Fl) in neutrosophics.
In the first chapter we extend the dialectical triad thesis-antithesis-synthesis (dynamics of A and antiA, to get a synthesis) to the neutrosophic tetrad thesis-antithesis-neutrothesis-neutrosynthesis (dynamics of A, antiA, and neutA, in order to get a neutrosynthesis).
In the second chapter we introduce the neutrosophic system and neutrosophic dynamic system. A neutrosophic system is a quasi- or –classical system, in the sense that the neutrosophic …
Fuzzy Abel Grassmann Groupoids, 2015 University of New Mexico
Fuzzy Abel Grassmann Groupoids, Florentin Smarandache, Madad Khan, Tariq Aziz
Branch Mathematics and Statistics Faculty and Staff Publications
Usually the models of real world problems in almost all disciplines like engineering, medical sciences, mathematics, physics, computer science, management sciences, operations research and articial intelligence are mostly full of complexities and consist of several types of uncertainties while dealing them in several occasion. To overcome these di¢ culties of uncertainties, many theories have been developed such as rough sets theory, probability theory, fuzzy sets theory, theory of vague sets, theory of soft ideals and the theory of intuitionistic fuzzy sets, theory of neutrosophic sets, Dezert-Smarandache Theory (DSmT), etc. Zadeh introduced the degree of membership/truth (t) in 1965 and dened …
Theory Of Abel Grassmann's Groupoids, 2015 University of New Mexico
Theory Of Abel Grassmann's Groupoids, Florentin Smarandache, Madad Khan
Branch Mathematics and Statistics Faculty and Staff Publications
It is common knowledge that common models with their limited boundaries of truth and falsehood are not su¢ cient to detect the reality so there is a need to discover other systems which are able to address the daily life problems. In every branch of science problems arise which abound with uncertainties and impaction. Some of these problems are related to human life, some others are subjective while others are objective and classical methods are not su¢ cient to solve such problems because they can not handle various ambiguities involved. To overcome this problem, Zadeh [67] introduced the concept of …
255 Compiled And Solved Problems In Geometry And Trigonometry, 2015 University of New Mexico
255 Compiled And Solved Problems In Geometry And Trigonometry, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
No abstract provided.