Automated Reasoning for the Dialetheic Logic RM3

by
Francis Jeffry Pelletier Department Philosophy University of Alberta, Canada	Geoff Sutcliffe Department of Computer Science University of Miami, USA	Allen P. Hazen Department Philosophy University of Alberta, Canada