Events for 16th October 2024

Events Search and Views Navigation

Event Views Navigation

Filters

Changing any of the form inputs will cause the list of events to refresh with the filtered results.

Today

Metaphysics and Logic Seminar: Sophie Nagler (58勛圖)

Edgecliffe G03

Title: Inference behaviour semantics for all* connectives in two-dimensional sequent calculi Abstract: In this talk, I present inference behaviour semantics (IBS) for connectives in two-dimensional sequent calculi. IBS is a…