Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Algebra (11)
- Other Mathematics (10)
- Applied Mathematics (8)
- Computer Sciences (7)
- Engineering (7)
-
- Analysis (6)
- Computer Engineering (5)
- Number Theory (5)
- Other Computer Engineering (5)
- Algebraic Geometry (4)
- Other Computer Sciences (4)
- Arts and Humanities (3)
- Geometry and Topology (3)
- Philosophy (3)
- Set Theory (3)
- Digital Communications and Networking (2)
- Discrete Mathematics and Combinatorics (2)
- Logic and Foundations of Mathematics (2)
- Other Physical Sciences and Mathematics (2)
- Aerospace Engineering (1)
- Artificial Intelligence and Robotics (1)
- Aviation (1)
- Computational Engineering (1)
- Creative Writing (1)
- Data Storage Systems (1)
- Databases and Information Systems (1)
- Dynamic Systems (1)
- Institution
- Keyword
-
- Neutrosophic logic (4)
- Coalgebra (2)
- Fuzzy number (2)
- Modal logic (2)
- <p>Reverse mathematics.</p> <p>Logic - Mathematics.</p> (1)
-
- A1 (1)
- Algebraic structures (1)
- Algebraic theories (1)
- Application-specific integrated circuit (1)
- Applied sciences (1)
- Artificial intelligence (1)
- Asynchronous logic (1)
- Belief functions (1)
- C-Circular (1)
- CC- C centric (1)
- CE- C Eccentric (1)
- CEL-C Elevated (1)
- CEX-C Exotic (1)
- Categorical Semantics (1)
- Category Theory (1)
- Coalgebras (1)
- Completeness (1)
- Computable (1)
- Computational and artificial intelligence (1)
- Congruence (1)
- Conjecture (1)
- Contradictory problems (1)
- Cover modality (1)
- Critical Values (1)
- DSmT (1)
- Publication
- Publication Type
Articles 1 - 28 of 28
Full-Text Articles in Logic and Foundations
Math, Minds, Machines, Christopher V. Carlile
Math, Minds, Machines, Christopher V. Carlile
Chancellor’s Honors Program Projects
No abstract provided.
A Constructive Proof Of Fundamental Theory For Fuzzy Variable Linear Programming Problems, A. Ebrahimnejad
A Constructive Proof Of Fundamental Theory For Fuzzy Variable Linear Programming Problems, A. Ebrahimnejad
Applications and Applied Mathematics: An International Journal (AAM)
Two existing methods for solving fuzzy variable linear programming problems based on ranking functions are the fuzzy primal simplex method proposed by Mahdavi-Amiri et al. (2009) and the fuzzy dual simplex method proposed by Mahdavi-Amiri and Nasseri (2007). In this paper, we prove that in the absence of degeneracy these fuzzy methods stop in a finite number of iterations. Moreover, we generalize the fundamental theorem of linear programming in a crisp environment to a fuzzy one. Finally, we illustrate our proof using a numerical example.
Solution Of Fuzzy System Of Linear Equations With Polynomial Parametric Form, Diptiranjan Behera, S. Chakraverty
Solution Of Fuzzy System Of Linear Equations With Polynomial Parametric Form, Diptiranjan Behera, S. Chakraverty
Applications and Applied Mathematics: An International Journal (AAM)
This paper proposed two new and simple solution methods to solve a fuzzy system of linear equations having fuzzy coefficients and crisp variables using a polynomial parametric form of fuzzy numbers. Related theorems are stated and proved. The proposed methods are used to solve example problems. The results obtained are also compared with the known solutions and are found to be in good agreement.
Craig Interpolation For Networks Of Sentences, H Jerome Keisler, Jeffrey M. Keisler
Craig Interpolation For Networks Of Sentences, H Jerome Keisler, Jeffrey M. Keisler
Jeffrey Keisler
The Craig Interpolation Theorem can be viewed as saying that in first order logic, two agents who can only communicate in their common language can cooperate in building proofs. We obtain generalizations of the Craig Interpolation Theorem for finite sets of agents with the following properties. (1) The agents are vertices of a directed graph. (2) The agents have knowledge bases with overlapping signatures. (3) The agents can only communicate by sending to neighboring agents sentences that they know and that are in the common language of the two agents.
Ultra-Low Voltage Digital Circuits And Extreme Temperature Electronics Design, Aaron J. Arthurs
Ultra-Low Voltage Digital Circuits And Extreme Temperature Electronics Design, Aaron J. Arthurs
Graduate Theses and Dissertations
Certain applications require digital electronics to operate under extreme conditions e.g., large swings in ambient temperature, very low supply voltage, high radiation. Such applications include sensor networks, wearable electronics, unmanned aerial vehicles, spacecraft, and energyharvesting systems. This dissertation splits into two projects that study digital electronics supplied by ultra-low voltages and build an electronic system for extreme temperatures. The first project introduces techniques that improve circuit reliability at deep subthreshold voltages as well as determine the minimum required supply voltage. These techniques address digital electronic design at several levels: the physical process, gate design, and system architecture. This dissertation analyzes …
On The Occasion Of Your Graduation, Robert Dawson
On The Occasion Of Your Graduation, Robert Dawson
Journal of Humanistic Mathematics
A letter from an absent supervisor to a doctoral student about to graduate reveals a terrible secret.
Extended Pcr Rules For Dynamic Frames, Florentin Smarandache, Jean Dezert
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 …
A Novel Algorithm To Forecast Enrollment Based On Fuzzy Time Series, Haneen T. Jasim, Abdul G. Jasim Salim, Kais I. Ibraheem
A Novel Algorithm To Forecast Enrollment Based On Fuzzy Time Series, Haneen T. Jasim, Abdul G. Jasim Salim, Kais I. Ibraheem
Applications and Applied Mathematics: An International Journal (AAM)
In this paper we propose a new method to forecast enrollments based on fuzzy time series. The proposed method belongs to the first order and time-variant methods. Historical enrollments of the University of Alabama from year 1948 to 2009 are used in this study to illustrate the forecasting process. By comparing the proposed method with other methods we will show that the proposed method has a higher accuracy rate for forecasting enrollments than the existing methods.
Numerical Solution Of Interval And Fuzzy System Of Linear Equations, Suparna Das, S. Chakraverty
Numerical Solution Of Interval And Fuzzy System Of Linear Equations, Suparna Das, S. Chakraverty
Applications and Applied Mathematics: An International Journal (AAM)
A system of linear equations, in general is solved in open literature for crisp unknowns, but in actual case the parameters (coefficients) of the system of linear equations contain uncertainty and are less crisp. The uncertainties may be considered in term of interval or fuzzy number. In this paper, a detail of study of linear simultaneous equations with interval and fuzzy parameter (triangular and trapezoidal) has been performed. New methods have been proposed for solving such systems. First, the methods have been tested for known problems viz. a circuit analysis solved in the literature and the results are found to …
Computable Linear Orders And Turing Reductions, Whitney P. Turner
Computable Linear Orders And Turing Reductions, Whitney P. Turner
Master's Theses
This thesis explores computable linear orders through Turing Reductions and codes zero jump and zero double jump into linear orders using discrete, dense, and block linear relations.
Verifying Harder's Conjecture For Classical And Siegel Modular Forms, David Sulon
Verifying Harder's Conjecture For Classical And Siegel Modular Forms, David Sulon
Honors Theses
A conjecture by Harder shows a surprising congruence between the coefficients of “classical” modular forms and the Hecke eigenvalues of corresponding Siegel modular forms, contigent upon “large primes” dividing the critical values of the given classical modular form.
Harder’s Conjecture has already been verified for one-dimensional spaces of classical and Siegel modular forms (along with some two-dimensional cases), and for primes p 37. We verify the conjecture for higher-dimensional spaces, and up to a comparable prime p.
From Velocities To Fluxions, Marco Panza
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."
Prove It!, Kenny W. Moran
Prove It!, Kenny W. Moran
Journal of Humanistic Mathematics
A dialogue between a mathematics professor, Frank, and his daughter, Sarah, a mathematical savant with a powerful mathematical intuition. Sarah's intuition allows her to stumble into some famous theorems from number theory, but her lack of academic mathematical background makes it difficult for her to understand Frank's insistence on the value of proof and formality.
Strongly Complete Logics For Coalgebras, Alexander Kurz, Jiří Rosický
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 …
On The Logic Of Reverse Mathematics, Alaeddine Saadaoui
On The Logic Of Reverse Mathematics, Alaeddine Saadaoui
Theses, Dissertations and Capstones
The goal of reverse mathematics is to study the implication and non-implication relationships between theorems. These relationships have their own internal logic, allowing some implications and non-implications to be derived directly from others. The goal of this thesis is to characterize this logic in order to capture the relationships between specific mathematical works. The results of our study are a finite set of rules for this logic and the corresponding soundness and completeness theorems. We also compare our logic with modal logic and strict implication logic. In addition, we explain two applications of S-logic in topology and second order arithmetic.
Special Dual Like Numbers And Lattices, Florentin Smarandache, W.B. Vasantha Kandasamy
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 …
Semigroup As Graphs, Florentin Smarandache, W.B. Vasantha Kandasamy
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.
Quasi Set Topological Vector Subspaces, Florentin Smarandache, W.B. Vasantha Kandasamy
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 …
Cardinal Functions And Integral Functions, Florentin Smarandache, Mircea Selariu, Marian Nitu
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
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.
Neutrosophic Masses & Indeterminate Models Applications To Information Fusion, Florentin Smarandache
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.
Non Associative Algebraic Structures Using Finite Complex Numbers, Florentin Smarandache, W.B. Vasantha Kandasamy
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
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 …
The Geometry Of Homological Triangles, Florentin Smarandache, Ion Patrascu
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 …
Set Ideal Topological Spaces, Florentin Smarandache, W.B. Vasantha Kandasamy
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 …
Fuzzy Linguistic Topological Spaces, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Amal
Fuzzy Linguistic Topological Spaces, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Amal
Branch Mathematics and Statistics Faculty and Staff Publications
No abstract provided.
Completeness For The Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, Yde Venema
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, …
Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat, Alexander Kurz
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.