We stand with Ukraine  

Storrs McCall

Affiliations:
  • McGill University, Montreal, Canada


According to our database1, Storrs McCall authored at least 11 papers between 1962 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2014
Connexive Gentzen.
[BibTeX]
[DOI]
Storrs McCall
Log. J. IGPL, 2014

2012
A History Of Connexivity.
[BibTeX]
[DOI]
Storrs McCall
Proceedings of the Logic: A History of its Central Concepts, 2012

2009
Objective Quantum Probabilities.
[BibTeX]
[DOI]
Storrs McCall
Proceedings of the Compendium of Quantum Physics, 2009

2001
Axiomatic Quantum Theory.
[BibTeX]
[DOI]
Storrs McCall
J. Philos. Log., 2001

1979
The strong future tense.
[BibTeX]
[DOI]
Storrs McCall
Notre Dame J. Formal Log., 1979

1970
Every functionally complete m-valued logic has a Post-complete axiomatization.
[BibTeX]
[DOI]
Nuel Belnap
,
Storrs McCall
Notre Dame J. Formal Log., 1970

1967
Contrariety.
[BibTeX]
[DOI]
Storrs McCall
Notre Dame J. Formal Log., 1967

Connexive Class Logic.
[BibTeX]
[DOI]
Storrs McCall
J. Symb. Log., 1967

1966
Pure Three-Valued Lukasiewiczian Implication.
[BibTeX]
[DOI]
Storrs McCall
,
Robert K. Meyer
J. Symb. Log., 1966

Connexive Implication.
[BibTeX]
[DOI]
Storrs McCall
J. Symb. Log., 1966

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


  Loading...