Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus (2002)

Cached

Download Links

by Larry Wos , Dolph Ulrich , Branded Fitelson
Venue:J. Automated Reasoning
Citations:1 - 0 self

Documents Related by Co-Citation

1 As easy as EQP, What’s happening in the mathematical sciences – B Cipra - 1999
1 Shortest axiomatizations of implicational S4 and S5 – Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
2 Boolean algebra. A correction, Trans – E V Huntington - 1933
2 sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell's Principia – New - 1933
2 Dependence of some axioms of Rose – Z Parks - 1972
1 On a theorem of – A Rezus¸ - 1982
2 A formalization of Sobociński’s three-valued implicational propositional calculus – A Rose - 1953
2 Axiomatization of propositional calculus with Sheffer functors – T W Scharle - 1965
1 Axioms for Boolean Algebra – Single - 2000
2 Single axioms for the systems – unknown authors - 1953
2 Local search, mimeograph of unpublished lecture notes (private correspondence of 12 – D Ulrich - 2001
2 implication in a sequence of extensions of S4 – Strict - 1981
1 Logical works, Polish Academy of Sciences – M Wajsberg - 1977
2 Using Mathematica to Understand the Computer Proof of the Robbins Conjecture – B Fitelson - 1998
8 Independent axioms for the implicational fragment of Sobociński’s three-valued logic – R K Meyer, R Z Parks - 1972
3 Yet another single law for lattices – William Mccune, R. Padmanabhan, Robert Veroff
8 A Reduction in the number of Primitive Propositions of Logic – J G P Nicod - 1916
5 Algebra 185 – K Kunen, Loops Quasigroups, Associative Laws, J - 1996
16 Trading Volume – Anne M Anderson, Edward A Dyl - 2007