Metaphysics and Logic Seminar: Sophie Nagler (58³Ô¹Ï)
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…