OTTER Experiments in a System of Combinatory Logic
| dc.creator | Jech, Thomas | |
| dc.date | 1994-09-02 | |
| dc.date.accessioned | 2026-07-07T09:15:10Z | |
| dc.date.available | 2026-07-07T09:15:10Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/math/9409201 | |
| dc.identifier | http://arxiv.org/abs/math/9409201 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/152928 | |
| dc.subject | Logic | |
| dc.title | OTTER Experiments in a System of Combinatory Logic | |
| dc.type | text |