Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Bunched implication algebras (1)
- Distributive lattice-ordered magmas (1)
- Enumerating finite models (1)
- Financial Education (1)
- Financial Literacy (1)
-
- Idempotent semirings (1)
- Interdisciplinary Thinking (1)
- Leibniz cohomologyChevalley-Eilenberg cohomologySpectral sequenceCohomological vanishingInvariant symmetric bilinear formCartan-Koszul mapComplete Lie algebraRigid Leibniz algebraWitt algebraBorel subalgebraParabolic subalgebraSemi-simple Leibniz algebraSecond Whitehead lemmaOuter derivation (1)
- Math Education (1)
- Mathematics Education (1)
- Minimum Wage (1)
- National Debt (1)
- Quantitative Reasoning (1)
- Teaching and Leaning (1)
Articles 1 - 6 of 6
Full-Text Articles in Other Mathematics
Unary-Determined Distributive ℓ -Magmas And Bunched Implication Algebras, Natanael Alpay, Peter Jipsen, Melissa Sugimoto
Unary-Determined Distributive ℓ -Magmas And Bunched Implication Algebras, Natanael Alpay, Peter Jipsen, Melissa Sugimoto
Mathematics, Physics, and Computer Science Faculty Articles and Research
A distributive lattice-ordered magma (dℓ-magma) (A,∧,∨,⋅) is a distributive lattice with a binary operation ⋅ that preserves joins in both arguments, and when ⋅ is associative then (A,∨,⋅) is an idempotent semiring. A dℓ-magma with a top ⊤ is unary-determined if x⋅y=(x⋅⊤∧y)∨(x∧⊤⋅y). These algebras are term-equivalent to a subvariety of distributive lattices with ⊤ and two join-preserving unary operations p, q. We obtain simple conditions on p, q such that x⋅y=(px∧y)∨(x∧qy) is associative, commutative, idempotent and/or has an identity element. This generalizes previous results on the structure of doubly idempotent semirings and, in the case when the …
Algorithmic Correspondence For Relevance Logics, Bunched Implication Logics, And Relation Algebras Via An Implementation Of The Algorithm Pearl, Willem Conradie, Valentin Goranko, Peter Jipsen
Algorithmic Correspondence For Relevance Logics, Bunched Implication Logics, And Relation Algebras Via An Implementation Of The Algorithm Pearl, Willem Conradie, Valentin Goranko, Peter Jipsen
Mathematics, Physics, and Computer Science Faculty Articles and Research
The non-deterministic algorithmic procedure PEARL (acronym for ‘Propositional variables Elimination Algorithm for Relevance Logic’) has been recently developed for computing first-order equivalents of formulas of the language of relevance logics LR in terms of the standard Routley-Meyer relational semantics. It succeeds on a large class of axioms of relevance logics, including all so called inductive formulas. In the present work we re-interpret PEARL from an algebraic perspective, with its rewrite rules seen as manipulating quasi-inequalities interpreted over Urquhart’s relevant algebras, and report on its recent Python implementation. We also show that all formulae on which PEARL succeeds are canonical, i.e., …
Generalized Grassmann Algebras And Applications To Stochastic Processes, Daniel Alpay, Paula Cerejeiras, Uwe Kaehler
Generalized Grassmann Algebras And Applications To Stochastic Processes, Daniel Alpay, Paula Cerejeiras, Uwe Kaehler
Mathematics, Physics, and Computer Science Faculty Articles and Research
In this paper, we present the groundwork for an Itô/Malliavin stochastic calculus and Hida's white noise analysis in the context of a supersymmetry with Z3-graded algebras. To this end, we establish a ternary Fock space and the corresponding strong algebra of stochastic distributions and present its application in the study of stochastic processes in this context.
On Leibniz Cohomology, Jorg Feldvoss, Friedrich Wagemann
On Leibniz Cohomology, Jorg Feldvoss, Friedrich Wagemann
University Faculty and Staff Publications
In this paper we prove the Leibniz analogue of Whitehead's vanishing theorem for the Chevalley-Eilenberg cohomology of Lie algebras. As a consequence, we obtain the second Whitehead lemma for Leibniz algebras. Moreover, we compute the cohomology of several Leibniz algebras with ad joint or irreducible coefficients. Our main tool is a Leibniz analogue of the Hochschild-Serre spectral sequence, which is an extension of the dual of a spectral sequence of Pirashvili for Leibniz homology from symmetric bimodules to arbitrary bimodules.
Total Differentiability And Monogenicity For Functions In Algebras Of Order 4, I. Sabadini, Daniele C. Struppa
Total Differentiability And Monogenicity For Functions In Algebras Of Order 4, I. Sabadini, Daniele C. Struppa
Mathematics, Physics, and Computer Science Faculty Articles and Research
In this paper we discuss some notions of analyticity in associative algebras with unit. We also recall some basic tool in algebraic analysis and we use them to study the properties of analytic functions in two algebras of dimension four that played a relevant role in some work of the Italian school, but that have never been fully investigated.
Interdisciplinary Thinking: Financial Literacy Crosses Disciplinary Boundaries, Marla A. Sole
Interdisciplinary Thinking: Financial Literacy Crosses Disciplinary Boundaries, Marla A. Sole
Publications and Research
Financial literacy is ideally suited to be integrated into mathematics courses and taught in an interdisciplinary manner. Students learn best and are motivated when tackling real-world meaningful questions. This article shares how elementary mathematics was applied to better understand the debate about raising the minimum wage and the United States National Debt. To serve as a guide for other teachers who wish to incorporate financial literacy into their mathematics courses and take an interdisciplinary approach, this article suggests readings, data sets, and pedagogical practices. Students were engaged and enthusiastic to work on problems that challenged their thinking about financial issues.