Logic

Research Frontiers in Continuous Logic and Metric Structures

Extension of model theory to metric spaces using continuous truth values for reasoning about topological and analytical structures.

All Logic PhD categories