The TPTP World of Non-classical Logics
by
Tobias Gleißner
Freie Universität Berlin, Germany
Alexander Steen
University of Luxembourg, Luxembourg
Geoff Sutcliffe
University of Miami, USA
Christoph Benzmüller
Freie Universität Berlin, Germany