Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Other Mathematics (26)
- Algebra (14)
- Applied Mathematics (7)
- Arts and Humanities (7)
- Logic and Foundations of Mathematics (7)
-
- Philosophy (7)
- Algebraic Geometry (6)
- Analysis (6)
- Computer Sciences (6)
- Number Theory (6)
- Set Theory (6)
- Computer Engineering (5)
- Engineering (5)
- Other Computer Engineering (5)
- Other Computer Sciences (5)
- Discrete Mathematics and Combinatorics (4)
- Geometry and Topology (3)
- Education (2)
- Other Applied Mathematics (2)
- Social and Behavioral Sciences (2)
- Cognition and Perception (1)
- Dynamical Systems (1)
- Educational Psychology (1)
- International and Area Studies (1)
- Leadership Studies (1)
- Numerical Analysis and Computation (1)
- Other Physical Sciences and Mathematics (1)
- Institution
- Keyword
-
- Neutrosophic logic (8)
- Coalgebra (3)
- F)-Neutrosophic Structures (2)
- Geometry (2)
- Groupoid (2)
-
- I (2)
- Mathematical problems (2)
- Mathematics (2)
- Neutrosophic Axiom (2)
- Neutrosophic Deducibility (2)
- Philosophy (2)
- Trigonometry (2)
- (T (1)
- (t (1)
- Abel Grassmann Groupoid (1)
- Abel Grassmann groupoid (1)
- Abstract GSOS (1)
- Algebra (1)
- Algebraic Version (1)
- Archimedean Spiral (1)
- Arithmetic Progression (1)
- Attractive Force (1)
- Begriffsschrift (1)
- Bekic lemma (1)
- Category theory (1)
- Coalgebraic logic (1)
- Collaboration (1)
- Comparative linguistic expression (1)
- Crisp set (1)
- Data fusion (1)
- Publication
- Publication Type
Articles 31 - 36 of 36
Full-Text Articles in Logic and Foundations
Philosophy Of Mathematics: Theories And Defense, Amy E. Maffit
Philosophy Of Mathematics: Theories And Defense, Amy E. Maffit
Williams Honors College, Honors Research Projects
In this paper I discuss six philosophical theories of mathematics including logicism, intuitionism, formalism, platonism, structuralism, and moderate realism. I also discuss problems that arise within these theories and attempts to solve them. Finally, I attempt to harmonize the best features of moderate realism and structuralism, presenting a theory that I take to best describe current mathematical practice.
Positive Fragments Of Coalgebraic Logics, Adriana Balan, Alexander Kurz, Jirí Velebil
Positive Fragments Of Coalgebraic Logics, Adriana Balan, Alexander Kurz, Jirí Velebil
Engineering Faculty Articles and Research
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem, which not only gives a conceptual proof based on duality theory, but also generalizes Dunn's result from Kripke frames to coalgebras for weak-pullback preserving functors. To facilitate this analysis we prove a number of category theoretic results on …
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 …
Extensions Of Functors From Set To V-Cat, Adriana Balan, Alexander Kurz, Jirí Velebil
Extensions Of Functors From Set To V-Cat, Adriana Balan, Alexander Kurz, Jirí Velebil
Engineering Faculty Articles and Research
We show that for a commutative quantale V every functor Set --> V-cat has an enriched left- Kan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V-cat. Moreover, one can build functors on V-cat by equipping Set-functors with a metric.
Approximation Of Nested Fixpoints, Alexander Kurz
Approximation Of Nested Fixpoints, Alexander Kurz
Engineering Faculty Articles and Research
The question addressed in this paper is how to correctly approximate infinite data given by systems of simultaneous corecursive definitions. We devise a categorical framework for reasoning about regular datatypes, that is, datatypes closed under products, coproducts and fixpoints. We argue that the right methodology is on one hand coalgebraic (to deal with possible nontermination and infinite data) and on the other hand 2-categorical (to deal with parameters in a disciplined manner). We prove a coalgebraic version of Bekic lemma that allows us to reduce simultaneous fixpoints to a single fix point. Thus a possibly infinite object of interest is …
Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel
Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel
Engineering Faculty Articles and Research
This report documents the program and the outcomes of Dagstuhl Seminar 15042 “Coalgebraic Semantics of Reflexive Economics”.