OTTER experiments in a system of combinatory logic
From MaRDI portal
Publication:1893130
DOI10.1007/BF00881715zbMath0822.03011arXivmath/9409201WikidataQ115059466 ScholiaQ115059466MaRDI QIDQ1893130
Publication date: 3 July 1995
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9409201
03B40: Combinatory logic and lambda calculus
03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations
Related Items
Uses Software
Cites Work
- Automated discovery of new axiomatizations of the left group and right group calculi
- Single axioms for groups
- Combinatory logic. With two sections by William Craig.
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Systems of combinatory logic related to Quine's `New Foundations'
- The kernel strategy and its use for the study of combinatory logic
- Single axioms for groups and abelian groups with various operations