Abstract
AbstractWe consider several novel congruences on the signature of meadows with the aim to survey different notions of fractions. In particular we suggest a notion of “true fraction”.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference28 articles.
1. Bergstra, J.A., Bethke, I.: Note on paraconsistency and reasoning about fractions. J. Appl. Nonclass. Log. 25(2), 120–124 (2015). https://doi.org/10.1080/11663081.2015.1047232
2. Bergstra, J.A., Bethke, I., Hendriks, D.: Universality of univariate mixed fractions in divisive meadows. arXiv:1707.00499 [math.RA] (2017)
3. Bergstra, J.A., Bethke, I., Ponse, A.: Cancellation meadows: a generic basis theorem and some applications. Comput. J. 56(1), 3–14 (2013). https://doi.org/10.1093/comjnl/bxs028
4. Bergstra, J.A., Bethke, I., Ponse, A.: Equations for formally real meadows. J. Appl. Log. 13(2 part B), 1–23 (2015)
5. Bergstra, J.A., Hirshfeld, Y., Tucker, J.V.: Meadows and the equational specification of division. Theor. Comput. Sci. 410(12), 1261–1271 (2009)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards an enumeration of finite common meadows;International Journal of Algebra and Computation;2024-07-27
2. Strolling through common meadows;Communications in Algebra;2024-07
3. Synthetic Fracterm Calculus;JUCS - Journal of Universal Computer Science;2024-03-28
4. Flasque Meadows;2024
5. Eager Equality for Rational Number Arithmetic;ACM Transactions on Computational Logic;2023-04-07