组合逻辑系统中的OTTER实验
OTTER Experiments in a System of Combinatory Logic
摘要：
本文描述了在推理组合逻辑系统TRC中使用自动定理证明程序OTTER的一些实验。我们将展示如何可以引导OTTER找到一个矛盾的TRC的不一致的变体，并提出了一些实验发现的身份TRC。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
