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.
| Building: | East Hall |
|---|---|
| Event Type: | Workshop / Seminar |
| Tags: | Mathematics |
| Source: | Happening @ Michigan from Logic Seminar - Department of Mathematics, Department of Mathematics |
