Generalizing the Real Interval Arithmetic
DOI:
https://doi.org/10.5540/tema.2002.03.01.0061Abstract
In this work we propose a generalized real interval arithmetic. Since the real interval arithmetic is constructed from the real arithmetic, it is reasonable to extend it to intervals on any domain which has some algebraic structure, such as field, ring or group structure. This extension is based on the local equality theory of Santiago [11, 12] and on an interval constructor which mappes bistrongly consistently complete dcpos into bifinitely consistently complete dcpos.References
[1] B.M. Acióly, “Uma Fundamentação Computacional da Matemática Intervalar”, Ph.D. thesis, CPGCC da UFRGS, Porto Alegre, RS, 1991.
R. Callejas-Bedregal and B. R. Callejas Bedregal, Intervals as a domain constructor, in “Seletas do XXIII CNMAC”, Tendências em Matemática Aplicada e Computacional, 2 (2001), 43-52.
R. Callejas-Bedregal and B. R. Callejas Bedregal, BiScott dcpos as cartesian closed category, in “Pre-proceeding of the Second International Symposium on Domain Theory, Chengdu-China, pp. 22-26, october, 2001.
R. Callejas-Bedregal and B. R. Callejas Bedregal, Interval as a categorical constructor, in “IV Workshop on Formal Methods, Rio de Janeiro, 01-02 October, pages 139-150, 2001.
G.P. Dimuro, A.C.R. Costa and D.M. Claudio. A bi-structured coherence space for a global representation of the system IR of real intervals, in “CIT’99: Trends in Information Technology”, (Proceedings of the International Conference on Information Technology, Bubhaneswar, December 20-22, 1999), Tata McGraw-Hill, pp. 173-178, 2000.
G. Gr¨atzer, “General Lattice Theory”, Academic Press, New York, 1978.
R.B. Kearfott, “Rigorous Global Search: Continuous Problems”, Kluwer Academic Publishers, Dordrecht, 1996.
S.M. Markov. On the extended interval arithmetic, Computes Rendus de L’Acad`emie Bulgare des Sciences, 2, No. 31 (1978), 163-166.
R.E. Moore, “Interval Analysis”, Prentice Hall, New Jersey, 1966.
R.E. Moore, “Methods and Applications for Interval Analysis”, SIAM, Philadelphia.
R.H.N. Santiago, “The Theory of Interval Local Equations”, Ph.D.thesis, Federal University of Pernambuco, PE, Brazil, 1999.
R.H.N. Santiago, Interval local theory: toward a model for real type, in “IV Workshop on Formal Methods”, Rio de Janeiro, 01-02 October, pp. 108-114, 2001.
D.S. Scott, Outline of a mathematical theory of computation, in “4th Annual Princeton Conference on Information Sciences and Systems”, p. 169-176, 1970.
D.S. Scott, Identity and existency in intuitionistic logic, in Fourman, M. et al., editors, in “Lecture Notes in Mathematics” (Fourman, M. et al., eds.), 753, pp 660-696, Springer-Verlag, Durham, 1977.
XSC-Languages, http://www.math.uni-wuppertal.de/org/WRST/xsc-sprachen. html, Access in may of 2002.
Downloads
Published
How to Cite
Issue
Section
License
Authors who publish in this journal agree to the following terms:
Authors retain copyright and grant the journal the right of first publication, with the work simultaneously licensed under the Creative Commons Attribution License that allows the sharing of the work with acknowledgment of authorship and initial publication in this journal.
Authors are authorized to assume additional contracts separately, for non-exclusive distribution of the version of the work published in this journal (eg, publish in an institutional repository or as a book chapter), with acknowledgment of authorship and initial publication in this journal.
Authors are allowed and encouraged to publish and distribute their work online (eg, in institutional repositories or on their personal page) at any point before or during the editorial process, as this can generate productive changes as well as increase impact and the citation of the published work (See The effect of open access).
This is an open access journal which means that all content is freely available without charge to the user or his/her institution. Users are allowed to read, download, copy, distribute, print, search, or link to the full texts of the articles, or use them for any other lawful purpose, without asking prior permission from the publisher or the
author. This is in accordance with the BOAI definition of open access
Intellectual Property
All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License under attribution BY.