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

Abstract