Pages that link to "Item:Q1383993"
From MaRDI portal
The following pages link to Shortest single axioms for the equivalential calculus with CD and RCD (Q1383993):
Displaying 7 items.
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- The two-property and condensed detachment (Q799664) (← links)
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus (Q1869616) (← links)
- Searching for circles of pure proofs (Q1904397) (← links)
- Automated discovery of single axioms for ortholattices (Q2577711) (← links)
- (Q3433180) (← links)