AI Chat AI Image Generator AI Video Text to Speech

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

11/13/2002

∙

by Larry Wos, et al.

∙

∙

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.

Larry Wos
4 publications
Dolph Ulrich
2 publications
Branden Fitelson
2 publications

research

∙ 11/13/2002

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 ...

0 Larry Wos, et al. ∙

research

∙ 02/09/2023

Calculus of functional centrality

In this document, we present another perspective for the calculus of opt...

0 Djemel Ziou, et al. ∙

research

∙ 06/19/2018

Upward confluence in the interaction calculus

The lambda calculus is not upward confluent, one of counterexamples bein...

0 Anton Salikhmetov, et al. ∙

research

∙ 04/26/2013

Introduction to Judea Pearl's Do-Calculus

This is a purely pedagogical paper with no new results. The goal of the ...

0 Robert R. Tucci, et al. ∙

research

∙ 03/26/2022

Algorithmic correspondence and analytic rules

We introduce the algorithm MASSA which takes classical modal formulas in...

0 Andrea De Domenico, et al. ∙

research

∙ 04/18/2021

Explaining the Entombed Algorithm

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

0 Leon Mächler, et al. ∙

research

∙ 04/21/2023

From Tractatus to Later Writings and Back – New Implications from the Nachlass

As a celebration of the Tractatus 100th anniversary it might be worth re...

0 Ruy J. G. B. de Queiroz, et al. ∙