Presented By: Logic Seminar - Department of Mathematics
Logic Seminar: Syntax and Semantics for Continuous Logic
Matthew Harrison-Trainor
We will introduce the syntax and semantics for continuous
logic, defining the formulas of continuous logic and what it means for
a formula to be true in a metric structure.
logic, defining the formulas of continuous logic and what it means for
a formula to be true in a metric structure.
Co-Sponsored By
Explore Similar Events
-
Loading Similar Events...