Model Theory and Proof Theory of Coalgebraic Predicate Logic

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano +1

We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can…