Metaphysics and Logic Seminar: Sophie Nagler (¾«¶«´«Ã½)
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…