DeepAI
Log In Sign Up

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

11/13/2002
by   Larry Wos, et al.
0

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.

READ FULL TEXT
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...