Hend Dawood
Senior Lecturer of Computational Mathematics
Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt. (email)
Logical Aspects of Interval Dependency
in
- Axiomatics
- Cardinality
- Categoricity
- Consistency
- Formal logic
- Functional Dependence
- Guaranteed Bounds
- Interval dependency
- Interval Enclosures
- Interval Functions
- Interval Mathematics
- Mathematical Analysis
- Mathematical Logic
- Metalogic
- Metamathematics
- Model theory
- Order theory
- Proof theory
- Quantification theory
- Real Analysis
- Semantics
- Skolemization
- Citation:
- Dawood, Hend, and Yasser Dawood. Logical Aspects of Interval Dependency. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2013.
Report Date:
2013Report Number:
CU-Math-2013-03-LAIDAbstract:
By means of the most fundamental logical concepts of quantification theory, the notion of interval dependency is axiomatized and its fundamental properties are deduced.