Algebra Commons^™

Equational Coalgebraic Logic, Alexander Kurz, Raul Leal

Engineering Faculty Articles and Research

Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviours of the system. A fundamental question in this area is how to obtain, for an arbitrary functor T, a logic for T-coalgebras. We compare two existing proposals, Moss’s coalgebraic logic and the logic of all predicate liftings, by providing one-step translations between them, extending the results in [21] by making systematic use of Stone duality. Our main contribution then is a novel coalgebraic logic, which can be seen as an equational axiomatization of Moss’s logic. The three logics are …

Superbimatrices And Their Generalizations, Florentin Smarandache, W.B Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The systematic study of supermatrices and super linear algebra has been carried out in 2008. These new algebraic structures find their applications in fuzzy models, Leontief economic models and data-storage in computers. In this book the authors introduce the new notion of superbimatrices and generalize it to super trimatrices and super n-matrices. Study of these structures is not only interesting and innovative but is also best suited for the computerized world. The main difference between simple bimatrices and super bimatrices is that in case of simple bimatrices we have only one type of product defined on them, whereas in case …

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

Branch Mathematics and Statistics Faculty and Staff Publications

Through this book, for the first time we represent every finite group in the form of a graph. The authors choose to call these graphs as identity graph, since the main role in obtaining the graph is played by the identity element of the group. This study is innovative because through this description one can immediately look at the graph and say the number of elements in the group G which are self-inversed. Also study of different properties like the subgroups of a group, normal subgroups of a group, p-sylow subgroups of a group and conjugate elements of a group …

Functorial Coalgebraic Logic: The Case Of Many-Sorted Varieties, Alexander Kurz, Daniela Petrişan

Engineering Faculty Articles and Research

Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This paper makes two contributions. First, a previous result characterizing those functors that have presentations is generalized from endofunctors on one-sorted varieties to functors between many-sorted varieties. This yields an equational logic for the presheaf semantics of higher-order abstract syntax. As another application, we show how the move to functors between many-sorted varieties allows to modularly combine syntax and proof systems of different logics. Second, we show how to associate …

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 …

Special Classes Of Set Codes And Their Applications, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduce the notion of set codes, set bicodes and set n-codes. These are the most generalized notions of semigroup n-codes and group n-codes. Several types of set ncodes are defined. Several examples are given to enable the reader to understand the concept. These new classes of codes will find applications in cryptography, computer networking (where fragmenting of codes is to be carried out) and data storage (where confidentiality is to be maintained). We also describe the error detection and error correction of these codes. The authors feel that these codes would be appropriate to the …

Special Fuzzy Matrices For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

This book is a continuation of the book, "Elementary fuzzy matrix and fuzzy models for socio-scientists" by the same authors. This book is a little advanced because we introduce a multi-expert fuzzy and neutrosophic models. It mainly tries to help social scientists to analyze any problem in which they need multi-expert systems with multi-models. To cater to this need, we have introduced new classes of fuzzy and neutrosophic special matrices. The first chapter is essentially spent on introducing the new notion of different types of special fuzzy and neutrosophic matrices, and the simple operations on them which are needed in …

A Unifying Field In Logics: Neutrosophic Logic. Neutrosophy, Neutrosophic Set, Neutrosophic Probability And Statistics - 6th Ed., Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

It was a surprise for me when in 1995 I received a manuscript from the mathematician, experimental writer and innovative painter Florentin Smarandache, especially because the treated subject was of philosophy - revealing paradoxes - and logics. He had generalized the fuzzy logic, and introduced two new concepts: a) “neutrosophy” – study of neutralities as an extension of dialectics; b) and its derivative “neutrosophic”, such as “neutrosophic logic”, “neutrosophic set”, “neutrosophic probability”, and “neutrosophic statistics” and thus opening new ways of research in four fields: philosophy, logics, set theory, and probability/statistics. It was known to me his setting up in …

Pi-Calculus In Logical Form, Marcello M. Bonsangue, Alexander Kurz

Engineering Faculty Articles and Research

Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is done by defining a logical counterpart of categorical constructions including dynamic name allocation and name exponentiation, and showing that they are dual to standard constructs in functor categories. We show that initial algebras of functors defined in terms of these constructs give rise to a logic that is sound, complete, and characterises bisimilarity. The approach is modular, and we apply it to derive a logical formulation of pi-calculus. The resulting logic is a …

François Viète, Between Analysis And Cryptanalysis, Marco Panza

MPP Published Research

François Viète is considered the father both of modern algebra and of modern cryptanalysis. The paper outlines Viète's major contributions in these two mathematical fields and argues that, despite an obvious parallel between them, there is an essential difference. Viète's 'new algebra' relies on his reform of the classical method of analysis and synthesis, in particular on a new conception of analysis and the introduction of a new formalism. The procedures he suggests to decrypt coded messages are particular forms of analysis based on the use of formal methods. However, Viète's algebraic analysis is not an analysis in the same …

Fuzzy Interval Matrices, Neutrosophic Interval Matrices And Their Applications, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The new concept of fuzzy interval matrices has been introduced in this book for the first time. The authors have not only introduced the notion of fuzzy interval matrices, interval neutrosophic matrices and fuzzy neutrosophic interval matrices but have also demonstrated some of its applications when the data under study is an unsupervised one and when several experts analyze the problem. Further, the authors have introduced in this book multiexpert models using these three new types of interval matrices. The new multi expert models dealt in this book are FCIMs, FRIMs, FCInMs, FRInMs, IBAMs, IBBAMs, nIBAMs, FAIMs, FAnIMS, etc. Illustrative …

Some Neutrosophic Algebraic Structures And Neutrosophic N-Algebraic Structures, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book, for the first time we introduce the notion of neutrosophic algebraic structures for groups, loops, semigroups and groupoids and also their neutrosophic N-algebraic structures. One is fully aware of the fact that many classical theorems like Lagrange, Sylow and Cauchy have been studied only in the context of finite groups. Here we try to shift the paradigm by studying and introducing these theorems to neutrosophic semigroups, neutrosophic groupoids, and neutrosophic loops. We have intentionally not given several theorems for semigroups and groupoid but have given several results with proof mainly in the case of neutrosophic loops, biloops …

Sequences Of Numbers Involved In Unsolved Problems, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Here it is a long list of sequences, functions, unsolved problems, conjectures, theorems, relationships, operations, etc. Some of them are inter-connected. 1) Consecutive Sequence: 1,12,123,1234,12345,123456,1234567,12345678,123456789,12345678910, 1234567891011,123456789101112,12345678910111213,... How many primes are there among these numbers? In a general form, the Consecutive Sequence is considered in an arbitrary numeration base B.

References:

Student Conference, University of Craiova, Department of Mathematics, April 1979, "Some problems in number theory" by Florentin Smarandache.

Arizona State University, Hayden Library, "The Florentin Smarandache papers" special collection, Tempe, AZ 85287-1006, USA.

The Encyclopedia of Integer Sequences", by N. J. A. Sloane and S. Plouffe, Academic Press, San Diego, …

Coalgebras And Their Logics, Alexander Kurz

Engineering Faculty Articles and Research

"Transition systems pervade much of computer science. This article outlines the beginnings of a general theory of specification languages for transition systems. More specifically, transition systems are generalised to coalgebras. Specification languages together with their proof systems, in the following called (logical or modal) calculi, are presented by the associated classes of algebras (e.g., classical propositional logic by Boolean algebras). Stone duality will be used to relate the logics and their coalgebraic semantics."

Fuzzy And Neutrosophic Analysis Of Women With Hiv/Aids, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Fuzzy theory is one of the best tools to analyze data, when the data under study is an unsupervised one, involving uncertainty coupled with imprecision. However, fuzzy theory cannot cater to analyzing the data involved with indeterminacy. The only tool that can involve itself with indeterminacy is the neutrosophic model. Neutrosophic models are used in the analysis of the socio-economic problems of HIV/AIDS infected women patients living in rural Tamil Nadu. Most of these women are uneducated and live in utter poverty. Till they became seriously ill they worked as daily wagers. When these women got admitted in the hospital …

N-Algebraic Structures And S-N-Algebraic Structures, Florentin Smarandache, Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book, for the first time we introduce the notions of Ngroups, N-semigroups, N-loops and N-groupoids. We also define a mixed N-algebraic structure. We expect the reader to be well versed in group theory and have at least basic knowledge about Smarandache groupoids, Smarandache loops, Smarandache semigroups and bialgebraic structures and Smarandache bialgebraic structures. The book is organized into six chapters. The first chapter gives the basic notions of S-semigroups, S-groupoids and S-loops thereby making the book self-contained. Chapter two introduces N-groups and their Smarandache analogues. In chapter three, Nloops and Smarandache N-loops are introduced and analyzed. Chapter four …

Weak Factorizations, Fractions And Homotopies, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

We show that the homotopy category can be assigned to any category equipped with a weak factorization system. A classical example of this construction is the stable category of modules. We discuss a connection with the open map approach to bisimulations proposed by Joyal, Nielsen and Winskel.

Coalgebras And Modal Expansions Of Logics, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

In this paper we construct a setting in which the question of when a logic supports a classical modal expansion can be made precise. Given a fully selfextensional logic S, we find sufficient conditions under which the Vietoris endofunctor V on S-referential algebras can be defined and we propose to define the modal expansions of S as the logic that arises from the V-coalgebras. As an example, we also show how the Vietoris endofunctor on referential algebras extends the Vietoris endofunctor on Stone spaces. From another point of view, we examine when a category of ‘spaces’ (X,A), ie sets X …

Algebraic Semantics For Coalgebraic Logics, Clemens Kupke, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

With coalgebras usually being defined in terms of an endofunctor T on sets, this paper shows that modal logics for T-coalgebras can be naturally described as functors L on boolean algebras. Building on this idea, we study soundness, completeness and expressiveness of coalgebraic logics from the perspective of duality theory. That is, given a logic L for coalgebras of an endofunctor T, we construct an endofunctor L such that L-algebras provide a sound and complete (algebraic) semantics of the logic. We show that if L is dual to T, then soundness and completeness of the algebraic semantics immediately yield the …

Preface, Thomas Hildebrandt, Alexander Kurz

Engineering Faculty Articles and Research

No abstract provided.

A Unifying Field In Logics: Neutrosophic Logic Neutrosophy, Neutrosophic Set, Neutrosophic Probability (In Traditional Chinese), Florentin Smarandache, Feng Liu

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Stone Coalgebras, Clemens Kupke, Alexander Kurz, Yde Venema

Engineering Faculty Articles and Research

In this paper we argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power set functor. We prove that the so-called descriptive general frames, which play a fundamental role in the semantics of modal logics, can be seen as Stone coalgebras in a natural way. This yields a duality between the category of modal algebras and that of coalgebras over the Vietoris functor. Building on this idea, we introduce the notion of a Vietoris polynomial functor over the category of Stone spaces. …

Preface, Alexander Kurz

Engineering Faculty Articles and Research

No abstract provided.

Definability, Canonical Models, And Compactness For Finitary Coalgebraic Modal Logic, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

This paper studies coalgebras from the perspective of the finitary observations that can be made of their behaviours. Based on the terminal sequence, notions of finitary behaviours and finitary predicates are introduced. A category Behω(T) of coalgebras with morphisms preserving finitary behaviours is defined. We then investigate definability and compactness for finitary coalgebraic modal logic, show that the final object in Behω(T) generalises the notion of a canonical model in modal logic, and study the topology induced on a coalgebra by the finitary part of the terminal sequence.

Modal Predicates And Coequations, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

We show how coalgebras can be presented by operations and equations. This is a special case of Linton’s approach to algebras over a general base category X, namely where X is taken as the dual of sets. Since the resulting equations generalise coalgebraic coequations to situations without cofree coalgebras, we call them coequations. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. We argue that the resulting coequational logic generalises modal logic.

Modal Rules Are Co-Implications, Alexander Kurz

Engineering Faculty Articles and Research

In [13], it was shown that modal logic for coalgebras dualises—concerning definability— equational logic for algebras. This paper establishes that, similarly, modal rules dualise implications:It is shown that a class of coalgebras is definable by modal rules iff it is closed under H (images) and Σ (disjoint unions). As a corollary the expressive power of rules of infinitary modal logic on Kripke frames is characterised.

Notes On Coalgebras, Cofibrations And Concurrency, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-deterministic coalgebras.

Definitions, Solved And Unsolved Problems, Conjectures, And Theorems In Number Theory And Geometry, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Florentin Smarandache, an American mathematician of Romanian descent has generated a vast variety of mathematical problems. Some problems are easy, others medium, but many are interesting or unsolved and this is the reason why the present book appears. Here, of course, there are problems from various types. Solving these problems is addictive like eating pumpkin seed: having once started, one cannot help doing it over and over again.

On Strongly N-Regular And Strongly Regular Rings, Huey Voon Chen

Student Works (2000-2009)

Let R be an associative ring with identity 1 (not equal to) 0. An element x E R is said to be right (or left) regular if there exists yin R such that x² y = x (or y.x² = x). If x is both left and right regular, then it is said to be strongly regular. The ring R is said to be strongly regular if every element of R is strongly regular. We say that x is a left -π-regular element if there exist an integer n > 0 and an element y E R such that yx n+1 …

(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz

Engineering Faculty Articles and Research

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.