Hend Dawood
Senior Lecturer of Computational Mathematics
Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt. (email)
Interval Algebras
in
- Abstract algebra
- Algebra
- Axiomatics
- Computer Science
- Dependence logic
- Formal logic
- Hend Dawood
- Interval algebras
- Interval Analysis
- Interval computations
- Interval Mathematics
- Mathematical Logic
- Mathematics
- Metalogic
- Metamathematics
- Model theory
- Order compatibilty
- Order theory
- Ordering interval numbers
- Ordering subsets of the reals
- Ordinal power
- Proof theory
- Quantification theory
- Quantitative Knowledge
- Reliability
- Reliable computing
- S-field algebra
- Semantics
- Set theory
- Set-valued functions
- Total order
- Uncertainty
- Universal algebra
- Universal intervals
- Weak Archimedeanity
- Well order