Storrs McCall

Publication Activity (10 Years)

Years Active: 1962-2014
Publications (10 Years): 0

Top Topics

Cut Elimination

Linear Time Temporal Logic

Search Algorithm

Domain Independent

Top Venues

Publications

Storrs McCall
Connexive Gentzen. Log. J. IGPL 22 (6) (2014)
Storrs McCall
Axiomatic Quantum Theory. J. Philos. Log. 30 (5) (2001)
Storrs McCall
The strong future tense. Notre Dame J. Formal Log. 20 (3) (1979)
Nuel Belnap, Storrs McCall
Every functionally complete m-valued logic has a Post-complete axiomatization. Notre Dame J. Formal Log. 11 (1) (1970)
Storrs McCall
Contrariety. Notre Dame J. Formal Log. 8 (1-2) (1967)
Storrs McCall
Connexive Class Logic. J. Symb. Log. 32 (1) (1967)
Storrs McCall, Robert K. Meyer
Pure Three-Valued Lukasiewiczian Implication. J. Symb. Log. 31 (3) (1966)
Storrs McCall
Connexive Implication. J. Symb. Log. 31 (3) (1966)
Storrs McCall
A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic. Notre Dame J. Formal Log. 3 (2) (1962)