DeepAI

# XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus

It has long been an open question whether the formula XCB = EpEEEpqErqr is, with the rules of substitution and detachment, a single axiom for the classical equivalential calculus. This paper answers that question affirmatively, thus completing a search for all such eleven-symbol single axioms that began seventy years ago.

• 4 publications
• 2 publications
• 2 publications
11/13/2002

04/18/2021

### Explaining the Entombed Algorithm

In <cit.>, John Aycock and Tara Copplestone pose an open question, namel...
06/19/2018

### Upward confluence in the interaction calculus

The lambda calculus is not upward confluent, one of counterexamples bein...
04/26/2013

### Introduction to Judea Pearl's Do-Calculus

This is a purely pedagogical paper with no new results. The goal of the ...
03/26/2022

### Algorithmic correspondence and analytic rules

We introduce the algorithm MASSA which takes classical modal formulas in...
05/10/2018

### On Randomised Strategies in the λ-Calculus (Long Version)

In this work we introduce randomised reduction strategies, a notion alre...
03/01/2022

### Reasonable Space for the λ-Calculus, Logarithmically

Can the λ-calculus be considered as a reasonable computational model? Ca...