A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic. - Storrs McCall (Notre Dame J. Formal Log., 1962)

Connexive Implication. - Storrs McCall (J. Symb. Log., 1966)

Pure Three-Valued Lukasiewiczian Implication. - Storrs McCall; Robert K. Meyer (J. Symb. Log., 1966)

Connexive Class Logic. - Storrs McCall (J. Symb. Log., 1967)

Contrariety. - Storrs McCall (Notre Dame J. Formal Log., 1967)

Every functionally complete m-valued logic has a Post-complete axiomatization. - Nuel Belnap; Storrs McCall (Notre Dame J. Formal Log., 1970)

The strong future tense. - Storrs McCall (Notre Dame J. Formal Log., 1979)

Axiomatic Quantum Theory. - Storrs McCall (J. Philos. Log., 2001)

Objective Quantum Probabilities. - Storrs McCall (Compendium of Quantum Physics, 2009)

A History Of Connexivity. - Storrs McCall (Logic: A History of its Central Concepts, 2012)

Connexive Gentzen. - Storrs McCall (Log. J. IGPL, 2014)