
Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
With the inclusion of an effective methodology, this article answers in ...
read it

Explaining the Entombed Algorithm
In <cit.>, John Aycock and Tara Copplestone pose an open question, namel...
read it

Upward confluence in the interaction calculus
The lambda calculus is not upward confluent, one of counterexamples bein...
read it

Introduction to Judea Pearl's DoCalculus
This is a purely pedagogical paper with no new results. The goal of the ...
read it

Realizability in the Unitary Sphere
In this paper we present a semantics for a linear algebraic lambdacalcu...
read it

Comparing and evaluating extended Lambek calculi
Lambeks Syntactic Calculus, commonly referred to as the Lambek calculus,...
read it

Assessing forensic evidence by computing belief functions
We first discuss certain problems with the classical probabilistic appro...
read it
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 elevensymbol single axioms that began seventy years ago.
READ FULL TEXT
Comments
There are no comments yet.