Interval Algerbras: A Formalized Treatment

Citation:
Dawood, Hend, and Yasser Dawood. Interval Algerbras: A Formalized Treatment. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2016.

Report Date:

2016

Report Number:

CU-Math-2016-06-IAFT

Abstract:

The theories of classical intervals, modal intervals, and constraint intervals are formally constructed and their mathematical structures are in-depth investigated.