Logic and Foundations Commons^™

Extended Pcr Rules For Dynamic Frames, Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

In most of classical fusion problems modeled from belief functions, the frame of discernment is considered as static. This means that the set of elements in the frame and the underlying integrity constraints of the frame are fixed forever and they do not change with time. In some applications, like in target tracking for example, the use of such invariant frame is not very appropriate because it can truly change with time. So it is necessary to adapt the Proportional Conflict Redistribution fusion rules (PCR5 and PCR6) for working with dynamical frames. In this paper, we propose an extension of …

From Velocities To Fluxions, Marco Panza

MPP Published Research

"Though the De Methodis results, for its essential structure and content, from a re-elaboration of a previous unfinished treatise composed in the Fall of 1666—now known, after Whiteside, as The October 1666 tract on fluxions ([22], I, pp. 400-448)—, the introduction of the term ‘fluxion’ goes together with an important conceptual change concerned with Newton’s understanding of his own achievements. I shall argue that this change marks a crucial step in the origins of analysis, conceived as an autonomous mathematical theory."

Completeness For The Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, Yde Venema

Engineering Faculty Articles and Research

We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional logic with a so-called coalgebraic cover modality depending on the type functor. Its semantics is defined in terms of a categorically defined relation lifting operation.

As the main contributions of our paper we introduce a derivation system, and prove that it provides a sound and complete axiomatization for the collection of coalgebraically valid inequalities. Our soundness and completeness proof is algebraic, …

Non Associative Algebraic Structures Using Finite Complex Numbers, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Authors in this book for the first time have constructed nonassociative structures like groupoids, quasi loops, non associative semirings and rings using finite complex modulo integers. The Smarandache analogue is also carried out. We see the nonassociative complex modulo integers groupoids satisfy several special identities like Moufang identity, Bol identity, right alternative and left alternative identities. P-complex modulo integer groupoids and idempotent complex modulo integer groupoids are introduced and characterized. This book has six chapters. The first one is introductory in nature. Second chapter introduces complex modulo integer groupoids and complex modulo integer loops.

Neutrosophic Super Matrices And Quasi Super Matrices, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors study neutrosophic super matrices. The concept of neutrosophy or indeterminacy happens to be one the powerful tools used in applications like FCMs and NCMs where the expert seeks for a neutral solution. Thus this concept has lots of applications in fuzzy neutrosophic models like NRE, NAM etc. These concepts will also find applications in image processing where the expert seeks for a neutral solution. Here we introduce neutrosophic super matrices and show that the sum or product of two neutrosophic matrices is not in general a neutrosophic super matrix. Another interesting feature of this book is …

Semigroup As Graphs, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors study the zero divisor graph and unit graph of a semigroup. The zero divisor graphs of semigroups Zn under multiplication is studied and characterized.

The Geometry Of Homological Triangles, Florentin Smarandache, Ion Patrascu

Branch Mathematics and Statistics Faculty and Staff Publications

This book is addressed to students, professors and researchers of geometry, who will find herein many interesting and original results. The originality of the book The Geometry of Homological Triangles consists in using the homology of triangles as a “filter” through which remarkable notions and theorems from the geometry of the triangle are unitarily passed. Our research is structured in seven chapters, the first four are dedicated to the homology of the triangles while the last ones to their applications. In the first chapter one proves the theorem of homological triangles (Desargues, 1636), one survey the remarkable pairs of homological …

Neutrosophic Masses & Indeterminate Models Applications To Information Fusion, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we introduce the indeterminate models in information fusion, which are due either to the existence of some indeterminate elements in the fusion space or to some indeterminate masses. The best approach for dealing with such models is the neutrosophic logic.

Special Dual Like Numbers And Lattices, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduce a new type of dual numbers called special dual like numbers. These numbers are constructed using idempotents in the place of nilpotents of order two as new element. That is x = a + bg is a special dual like number where a and b are reals and g is a new element such that g2 =g. The collection of special dual like numbers forms a ring. Further lattices are the rich structures which contributes to special dual like numbers. These special dual like numbers x = a + bg; when a and b …

Set Ideal Topological Spaces, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors for the first time introduce a new type of topological spaces called the set ideal topological spaces using rings or semigroups, or used in the mutually exclusive sense. This type of topological spaces use the class of set ideals of a ring (semigroups). The rings or semigroups can be finite or infinite order. By this method we get complex modulo finite integer set ideal topological spaces using finite complex modulo integer rings or finite complex modulo integer semigroups. Also authors construct neutrosophic set ideal toplogical spaces of both finite and infinite order as well as …

Quasi Set Topological Vector Subspaces, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduce four types of topological vector subspaces. All topological vector subspaces are defined depending on a set. We define a quasi set topological vector subspace of a vector space depending on the subset S contained in the field F over which the vector space V is defined. These quasi set topological vector subspaces defined over a subset can be of finite or infinite dimension. An interesting feature about these spaces is that there can be several quasi set topological vector subspaces of a given vector space. This property helps one to construct several spaces with …

Fuzzy Linguistic Topological Spaces, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Amal

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Cardinal Functions And Integral Functions, Florentin Smarandache, Mircea Selariu, Marian Nitu

Branch Mathematics and Statistics Faculty and Staff Publications

This paper presents the correspondences of the eccentric mathematics of cardinal and integral functions and centric mathematics, or ordinary mathematics. Centric functions will also be presented in the introductory section, because they are, although widely used in undulatory physics, little known. In centric mathematics, cardinal sine and cosine are dened as well as the integrals. Both circular and hyperbolic ones. In eccentric mathematics, all these central functions multiplies from one to innity, due to the innity of possible choices where to place a point. This point is called eccenter S(s;") which lies in the plane of unit circle UC(O;R = …

Applications Of Extenics To 2d-Space And 3d-Space, Florentin Smarandache, Victor Vladareanu

Branch Mathematics and Statistics Faculty and Staff Publications

In this article one proposes several numerical examples for applying the extension set to 2D- and 3D-spaces. While rectangular and prism geometrical figures can easily be decomposed from 2D and 3D into 1D linear problems, similarly for the circle and the sphere, it is not possible in general to do the same for other geometrical figures.

Strongly Complete Logics For Coalgebras, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary set-functor is given and proven to be strongly complete under additional assumptions. We proceed in three parts.

Part I argues that sifted colimit preserving functors are those functors that preserve universal algebraic structure. Our main theorem here states that a functor preserves sifted colimits if and only if it has a finitary presentation by operations and equations. Moreover, the presentation of the …

Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat, Alexander Kurz

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 12411 “Coalgebraic Logics”. The seminar deals with recent developments in the area of coalgebraic logic, a branch of logics which combines modal logics with coalgebraic semantics. Modal logic finds its uses when reasoning about behavioural and temporal properties of computation and communication, coalgebras have evolved into a general theory of systems. Consequently, it is natural to combine both areas for a mathematical description of system specification. Coalgebraic logics are closely related to the broader categories semantics/formal methods and verification/logic.