Skip to Content

Search: {{$root.lsaSearchQuery.q}}, Page {{$}}

Logic Seminar: Syntax and Semantics for Continuous Logic

Matthew Harrison-Trainor
Wednesday, January 25, 2023
4:00-5:30 PM
3088 East Hall Map
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.
Building: East Hall
Event Type: Workshop / Seminar
Tags: Mathematics
Source: Happening @ Michigan from Logic Seminar - Department of Mathematics, Department of Mathematics