OTTER Experiments in a System of Combinatory Logic

Details OTTER Experiments in a System of Combinatory Logic OTTER Experiments in a System of Combinatory Logic

1994-09-02

arxiv.org/abs/math/9409201v1

Mathematics

Logic

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

OTTER Experiments in a System of Combinatory Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with OTTER Experiments in a System of Combinatory Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and OTTER Experiments in a System of Combinatory Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-280521