John Corcoran

According to our database1, John Corcoran authored at least 10 papers between 1969 and 2018.

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

Awards

IEEE Fellow

IEEE Fellow 2001, "For contributions to high-performance analog-to-digital converters.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Aristotle's Prototype Rule-Based Underlying Logic.
Logica Universalis, 2018

2014
Obituary Robert McNaughton 1924 - 2014.
Bulletin of the EATCS, 2014

2006
Schemata: The Concept of Schema in the History of Logic.
Bulletin of Symbolic Logic, 2006

1980
Boole's criteria for validity and invalidity.
Notre Dame Journal of Formal Logic, 1980

1979
Identity logics.
Notre Dame Journal of Formal Logic, 1979

1974
Logical consequence in modal logic. II. Some semantic systems for S4.
Notre Dame Journal of Formal Logic, 1974

String Theory.
J. Symb. Log., 1974

1972
Strange arguments.
Notre Dame Journal of Formal Logic, 1972

Completeness of an Ancient Logic.
J. Symb. Log., 1972

1969
Logical consequence in modal logic: Natural deduction in S5.
Notre Dame Journal of Formal Logic, 1969


  Loading...