The aim of this paper is to provide a metamathematical investigation of the theory of intervals with the requisite predicate calculi and axiomatic set theory.
The theories of classical intervals, modal intervals, and constraint intervals are formally constructed and their mathematical structures are in-depth investigated.
In this report, we define an algebra of dyadic intervals. Thereupon, we present a formalization of a generalized theory of interval differentiation and investigate into some of the analytic and algebraic properties thereof.
This chapter is devoted to introducing the theories of interval algebra to people who are interested in applying the interval methods to uncertainty analysis in science and engineering. In view of this purpose, we shall introduce the key concepts of the algebraic theories of intervals that form the foundations of the interval techniques as they are now practised, provide a historical and epistemological background of interval mathematics and uncertainty in science and technology, and finally describe some typical applications that clarify the need for interval computations to cope with uncertainty in a wide variety of scientific disciplines.
Call for Papers: International Journal of Fuzzy Computation and Modeling (IJFCM)
The editorial board of the International Journal of Fuzzy Computation and Modeling (IJFCM) is pleased to announce the call for submission of papers for the first issue of the journal.