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