Skip to Content

Sponsors

No results

Keywords

No results

Types

No results

Search Results

Events

No results
Search events using: keywords, sponsors, locations or event type
When / Where
All occurrences of this event have passed.
This listing is displayed for historical purposes.

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.

Explore Similar Events

  •  Loading Similar Events...

Back to Main Content