Reports on Mathematical Logic

No. 29 (1995)


Greg RESTALL

DISPLAY LOGIC AND GAGGLE THEORY

A b s t r a c t. This paper is a revised version of a talk given at the Logic and Logical Philosophy conference in Poland in September 1995. In it, I sketch the connections between Nuel Belnap's Display Logic and J. Michael Dunn's Gaggle Theory.


Back to Main Menu