Technical Report TR-ARP-22-95

Automated Reasoning Project

Research School of Information Sciences and Engineering

and Centre for Information Science Research

Australian National University

December 7, 1995

DISPLAY LOGIC AND GAGGLE

THEORY

Greg Restall

Abstract This paper is a cleaned-up 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.