JGXYZ - An ATP System for Gap and Glut Logics

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

Abstract

Slides: http://www.tptp.org/Seminars/JGXYZ/