Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Continuous Logic and Metric Structures

Development of logical frameworks with truth values in the real interval for reasoning about metric spaces and continuous mathematics.