OTTER Experiments in a System of Combinatory Logic

Thomas Jech

arxiv: math/9409201 · v1 · submitted 1994-09-02 · 🧮 math.LO

OTTER Experiments in a System of Combinatory Logic

Thomas Jech This is my paper

classification 🧮 math.LO

keywords ottercombinatoryexperimentslogicsomesystemautomatedcontradiction

0 comments

read the original abstract

This paper describes some experiments involving the automated theorem-proving program OTTER in the system TRC of illative combinatory logic. We show how OTTER can be steered to find a contradiction in an inconsistent variant of TRC, and present some experimentally discovered identities in TRC.

This paper has not been read by Pith yet.

OTTER Experiments in a System of Combinatory Logic

discussion (0)