Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 4 of 4
Full-Text Articles in Logic and Foundations
Neutroalgebra Is A Generalization Of Partial Algebra, Florentin Smarandache
Neutroalgebra Is A Generalization Of Partial Algebra, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this paper we recall, improve, and extend several definitions, properties and applications of our previous 2019 research referred to NeutroAlgebras and AntiAlgebras (also called NeutroAlgebraic Structures and respectively AntiAlgebraic Structures). Let be an item (concept, attribute, idea, proposition, theory, etc.). Through the process of neutrosphication, we split the nonempty space we work on into three regions {two opposite ones corresponding to and , and one corresponding to neutral (indeterminate) (also denoted ) between the opposites}, which may or may not be disjoint – depending on the application, but they are exhaustive (their union equals the whole space). A NeutroAlgebra …
Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, Jurriaan Rot
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 …
The Role Of Algebraic Inferences In Naîm Ibn Mûsa’S Collection Of Geometrical Propositions, Marco Panza
The Role Of Algebraic Inferences In Naîm Ibn Mûsa’S Collection Of Geometrical Propositions, Marco Panza
MPP Published Research
Na‘im ibn Musa's lived in Baghdad in the second half of the 9th century. He was probably not a major mathematician. Still his Collection of geometrical propositions---recently edited and translated in French by Roshdi Rashed and Christian Houzel---reflects quite well the mathematical practice that was common in Thabit ibn Qurra's school. A relevant characteristic of Na‘im's treatise is its large use of a form of inferences that can be said ‘algebric' in a sense that will be explained. They occur both in proofs of theorems and in solutions of problems. In the latter case, they enter different sorts of problematic …
N- Linear Algebra Of Type I And Its Applications, Florentin Smarandache, W.B. Vasantha Kandasamy
N- Linear Algebra Of Type I And Its Applications, Florentin Smarandache, W.B. Vasantha Kandasamy
Branch Mathematics and Statistics Faculty and Staff Publications
With the advent of computers one needs algebraic structures that can simultaneously work with bulk data. One such algebraic structure namely n-linear algebras of type I are introduced in this book and its applications to n-Markov chains and n-Leontief models are given. These structures can be thought of as the generalization of bilinear algebras and bivector spaces. Several interesting n-linear algebra properties are proved. This book has four chapters. The first chapter just introduces n-group which is essential for the definition of nvector spaces and n-linear algebras of type I. Chapter two gives the notion of n-vector spaces and several …