Generalizing the Real Interval Arithmetic
DOI:
https://doi.org/10.5540/tema.2002.03.01.0061Resumo
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.Referências
[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
Publicado
Como Citar
Edição
Seção
Licença
Política para Periódicos de Acesso Livre
Autores que publicam nesta revista concordam com os seguintes termos:
- Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
- Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
- Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre).
- Esta é uma revista de acesso aberto, o que significa que todo o conteúdo é livremente disponível gratuitamente para o usuário ou sua instituição. Os usuários estão autorizados a ler, baixar, copiar, distribuir, imprimir, pesquisar ou vincular os textos completos dos artigos, ou usá-los para qualquer outro propósito legal, sem pedir permissão prévia do editor ou do autor. Isso está de acordo com a definição de acesso aberto do BOAI.
Todo o conteúdo do periódico está licenciado sob uma Licença Creative Commons do tipo atribuição BY.