Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Neutrosophic logic (45)
- Coalgebra (13)
- Mathematics (9)
- Neutrosophic Logic (9)
- Neutrosophic set (8)
-
- Neutrosophy (8)
- Geometry (7)
- Information fusion (7)
- DSmT (6)
- Graph theory (6)
- Modal logic (6)
- Algebraic structures (5)
- Decision making (5)
- Fuzzy logic (5)
- Mathematical problems (5)
- Neutrosophic Set (5)
- Algebra (4)
- Problems (4)
- Soft set (4)
- Coalgebraic logic (3)
- Coalgebras (3)
- Display calculus (3)
- Logic (3)
- Neutrosophic Sets (3)
- Philosophy (3)
- Trigonometry (3)
- AHP (2)
- Belief function (2)
- Belief functions (2)
- Book review (2)
- Publication Year
- Publication
-
- Branch Mathematics and Statistics Faculty and Staff Publications (175)
- Engineering Faculty Articles and Research (45)
- MPP Published Research (31)
- Mathematics, Physics, and Computer Science Faculty Articles and Research (3)
- Journal of Math Circles (2)
-
- Applications and Applied Mathematics: An International Journal (AAM) (1)
- Books and Monographs (1)
- CMC Senior Theses (1)
- Department of Mathematics Faculty Scholarship and Creative Works (1)
- Dissertations, Theses, and Capstone Projects (1)
- HMC Senior Theses (1)
- Journal of Nonprofit Innovation (1)
- Senior Independent Study Theses (1)
- The Review: A Journal of Undergraduate Student Research (1)
- Theses and Dissertations (1)
- UNO Student Research and Creative Activity Fair (1)
- Publication Type
Articles 241 - 267 of 267
Full-Text Articles in Logic and Foundations
François Viète, Between Analysis And Cryptanalysis, Marco Panza
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
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 …
Coalgebras And Their Logics, Alexander Kurz
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."
Some Sober Conceptions Of Mathematical Truth, Marco Panza
Some Sober Conceptions Of Mathematical Truth, Marco Panza
MPP Published Research
It is not sufficient to supply an instance of Tarski’s schema, ⌈“p” is true if and only if p⌉ for a certain statement in order to get a definition of truth for this statement and thus fix a truth-condition for it. A definition of the truth of a statement x of a language L is a bi-conditional whose two members are two statements of a meta-language L’. Tarski’s schema simply suggests that a definition of truth for a certain segment x of a language L consists in a statement of the form: ⌈v(x) is true if and only if τ(x)⌉, …
Fuzzy And Neutrosophic Analysis Of Women With Hiv/Aids, Florentin Smarandache, W.B. Vasantha Kandasamy
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 …
Fuzzy And Neutrosophic Analysis Of Periyar’S Views On Untouchability, Florentin Smarandache, Vasantha Kandasamy, K. Kandasamy
Fuzzy And Neutrosophic Analysis Of Periyar’S Views On Untouchability, Florentin Smarandache, Vasantha Kandasamy, K. Kandasamy
Branch Mathematics and Statistics Faculty and Staff Publications
“Day in and day out we take pride in claiming that India has a 5000 year old civilization. But the way Dalits and those suppressed are being treated by the people who wield power and authority speaks volumes for the degradations of our moral structure and civilized standards.” Ex-President of India, the late K. R. Narayanan The New Indian Express, Saturday, 12 Nov. 2005 K.R.Narayanan was a lauded hero and a distinguished victim of his Dalit background. Even in an international platform when he was on an official visit to Paris, the media headlines blazed, ‘An Untouchable at Elysee’. He …
Weak Factorizations, Fractions And Homotopies, Alexander Kurz, Jiří Rosický
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
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
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
Preface, Thomas Hildebrandt, Alexander Kurz
Engineering Faculty Articles and Research
No abstract provided.
Developing Into Series And Returning From Series: A Note On The Foundations Of Eighteenth-Century Analysis, Giovanni Ferraro, Marco Panza
Developing Into Series And Returning From Series: A Note On The Foundations Of Eighteenth-Century Analysis, Giovanni Ferraro, Marco Panza
MPP Published Research
In this paper we investigate two problems concerning the theory of power series in 18th-century mathematics: the development of a given function into a power series and the inverse problem, the return from a given power series to the function of which this power series is the development. The way of conceiving and solving these problems closely depended on the notion of function and in particular on the conception of a series as the result of a formal transformation of a function. After describing the procedures considered acceptable by 18th-century mathematicians, we examine in detail the different strategies—both direct and …
A Unifying Field In Logics: Neutrosophic Logic Neutrosophy, Neutrosophic Set, Neutrosophic Probability (In Traditional Chinese), Florentin Smarandache, Feng Liu
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.
A Unifying Field In Logics: Neutrosophic Logic Neutrosophy, Neutrosophic Set, Neutrosophic Probability (Chinese Translation), Florentin Smarandache, Feng Liu
A Unifying Field In Logics: Neutrosophic Logic Neutrosophy, Neutrosophic Set, Neutrosophic Probability (Chinese Translation), Florentin Smarandache, Feng Liu
Branch Mathematics and Statistics Faculty and Staff Publications
中智学为何诞生? 中智学(neutrosophy)起源于1995年美国, 它站在东西文化交融的立场上, 从对立统一的角度探索从科学技术到文学 艺术的一切宏观及微观结构, 构造超越一切学科、超越自然科学与社会科学界限的统一场, 以解决当今认知科学、信息 科学、系统科学、经济学、量子力学等科学技术前沿难题——非确定性问题。中智学努力通过新型开放模式改造当今 各自然科学与社会科学, 实现它们的新陈代谢、改革创新和更新换代。中智学在我们中国还属空白, 故借此对学科正式 命名并引入中国。 科学是真理吗? 比如, 当今信息科学的突出问题之一就是知识表达、知识处理及知识交流中的逻辑单一性: 不是真就是假, 从而不 能面对任何矛盾和冲突。由此, 人工智能、计算机网络、数据库、信息工程, 乃至电子商务、电子政务多多少少在走死 胡同。从表面上看, 它是模糊数学或协调逻辑的问题, 而从本质上看, 它属于结构性问题, 涉及到对哲学、逻辑学、集 合论、概率论、认知科学、信息科学基本概念以及众多相关领域的重新认识、重新塑造问题。 众所周知, 我国学习西方, 只图表面, 而不注重科学的内在结构, 不懂科学的概念和原理中也有基础设施 (换句话 说, 就是基础设施的基础设施), 从而建不起高楼大厦, 更谈不上科学上的自主, 从而形成盲目跟从西方的弊病。 科学, 这个被认为是永恒的真理, 其本质上没有半点永恒, 相反, 它时刻处于新老交替、新陈代谢、自我否定、自 我淘汰的动态之中——即使存在什么永恒的真理, 也终究会被后人推翻。科学实际上是一种战争, 而中智学正是关于它 的战略战术的科学。 当今世界上高深的科学莫过于爱因斯坦的相对论, 然而一切的一切, 都是建立在恒定光速的基础上——它正 在被现代的人们推翻!
Stone Coalgebras, Clemens Kupke, Alexander Kurz, Yde Venema
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. …
Mathematisation Of The Science Of Motion And The Birth Of Analytical Mechanics : A Historiographical Note, Marco Panza
Mathematisation Of The Science Of Motion And The Birth Of Analytical Mechanics : A Historiographical Note, Marco Panza
MPP Published Research
Usually, one speaks of mathematization of a natural or social science to mean that mathematics comes to be a tool of such a science: the language of mathematics is used to formulate its results, and/or some mathematical techniques is employed to obtain these results.
Preface, Alexander Kurz
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
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ý
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.
La Révolution Scientifique, Les Révolutions, Et L'Histoire Des Sciences. Comment Ernest Coumet Nous A Libérés De L'Héritage D'Alexandre Koyré, Marco Panza
MPP Published Research
Dans son intervention au colloque Koyré (Paris, 1986), Ernest Coumet a suggéré que le terme «révolution scientifique» ne désigne pas chez Koyré un événement historique, mais un idéaltype, au sens de Max Weber. L'auteur discute d'abord cette thèse de Coumet et expose les arguments que ce dermier apporte pour la soutenir. Dans la deuxième partie de l'article, il critique l'usage de la notion de révolution en histoire des sciences, en s'opposant en particulier à la possibilité de distinguer dans les productions des savants une «pensée scientifique» qui serait influencée par la «pensée philosophique» et dont les bouleversements marqueraient l'avènement d'une …
Proceedings Of The First International Conference On Neutrosophy, Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability And Statistics, Florentin Smarandache
Proceedings Of The First International Conference On Neutrosophy, Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability And Statistics, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In 1960s Abraham Robinson has developed the non-standard analysis, a formalization of analysis and a branch of mathematical logic, that rigorously defines the infinitesimals. Informally, an infinitesimal is an infinitely small number. Formally, x is said to be infinitesimal if and only if for all positive integers n one has xxx < 1/n. Let &>0 be a such infinitesimal number. The hyper-real number set is an extension of the real number set, which includes classes of infinite numbers and classes of infinitesimal numbers. Let’s consider the non-standard finite numbers 1+ = 1+&, where “1” is its standard part and “&” its non-standard part, …
Dialectics And The Dao: On Both, A And Non-A In Neutrosophy And Chinese Philosophy, Feng Liu, Florentin Smarandache
Dialectics And The Dao: On Both, A And Non-A In Neutrosophy And Chinese Philosophy, Feng Liu, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
This paper introduces readers to a new approach to dialectical logic: neutrosophy. Specifically it proposes a multi-valued logic in which the statement “both A and Non-A,” historically rejected as logically incoherent, is treated as meaningful. This unity of opposites constitutes both the objective world and the subjective world –a view with deep roots in Buddhism and Daoism, including the I-Ching. This leads in turn to the presentation of a framework for the development of a contradiction oriented learning philosophy inspired by the Later Trigrams of King Wen in the I-Ching. We show that although A and Non-A are logically inconsistent, …
Modal Rules Are Co-Implications, Alexander Kurz
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
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.
(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz
(Ω, Ξ)-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.
Subiecte Posibile Pentru Examenul De Admitere În Liceu Şi Examenul De Capacitate (In Romanian), Florentin Smarandache, Constantin Coanda, Gheorghe Duta
Subiecte Posibile Pentru Examenul De Admitere În Liceu Şi Examenul De Capacitate (In Romanian), Florentin Smarandache, Constantin Coanda, Gheorghe Duta
Branch Mathematics and Statistics Faculty and Staff Publications
Prezenta lucrare" încearcă să pună la dispoziţia elevilor şi profesorilor instrumente de evaluare a cunoştinţelor la toate capitolele din actuala programă de matematică. " În evoluţia adolescenţi/or din ţara noastră etapa admiterii în liceu mobilizează eforturi şi emoţii cu totul speciale. 'Actuala lucrare se doreşte a fi un sfljtuitor permanent În perioada fierbinte dintre e.;wmenul de capacitate şi admiterea În liceu. Testele cuprinse in această culegere au un caracter complementar faţă de multe materiale scrise În vederea sprijinirii celor ce se pregătesc pentru astfel de examene şi se referă la intreaga materie cuprinsă În programele analitice de aritmetică, algebră şi …
Mathematical Rebuses, Florentin Smarandache
Mathematical Rebuses, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
No abstract provided.
Generalisations Et Generalites, Florentin Smarandache, Eleonora Smarandache
Generalisations Et Generalites, Florentin Smarandache, Eleonora Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
"Généralisations et Généralités" , pourquoi ce titre? Parce Que l'auteur a voulu rassembler ici Quelques-unes de ses recherches originales C Qui sont donc des "s~n:§rali tés") , df'2ls diverses branches des mathématiques (algèl)re, thôorie des nombres, Gométrie, analyse, linguistique, mathématiQues distrayantes) , mêlne si les articles qui composent ce recueil n'ont pas toujours de liaison entre eux.