11 found
Order:
  1.  57
    An Abstract Model For Parallel Computations: Gandy’s Thesis.Wilfried Sieg & John Byrnes - 1999 - The Monist 82 (1):150-164.
    Wilfried Sieg and John Byrnes. AnModel for Parallel Computation: Gandy's Thesis.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  2.  37
    An Abstract Model For Parallel Computations.John Byrnes - 1999 - The Monist 82 (1):150-164.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  53
    Normal Natural Deduction Proofs (in Classical Logic).Wilfried Sieg & John Byrnes - 1998 - Studia Logica 60 (1):67-106.
    Natural deduction (for short: nd-) calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe (1) a method that allows to give semantic proofs of normal form theorems for nd-calculi and (2) a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal (...)
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  25
    K-Graph Machines: Generalizing Turing's Machines and Arguments.Wilfried Sieg & John Byrnes - unknown
    Wilfred Sieg and John Byrnes. K-Graph Machines: Generalizing Turing's Machines and Arguments.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  17
    Peirce's First-Order Logic of 1885.John Byrnes - 1998 - Transactions of the Charles S. Peirce Society 34 (4):949 - 976.
  6.  2
    English Orthography: Relation to Reading Experience.Lester A. Lefton, Anne B. Spragins & John Byrnes - 1973 - Bulletin of the Psychonomic Society 2 (5):281-282.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  7
    Wilfried Sieg Normal Natural Deduction Proofs.John Byrnes - 1998 - Studia Logica 60:67-106.
  8.  10
    Generalizing Turing's Machine and Arguments.Wilfried Sieg & John Byrnes - unknown
    Wilfred Sieg and John Byrnes. Generalizing Turing's Machine and Arguments.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  10
    Gödel, Turing, and K-Graph Machines.Wilfried Sieg & John Byrnes - unknown
  10.  2
    Godel, Turing, and K-Graph Machines. Sieg & John Byrnes - unknown
  11. A Graphical Presentation of Gandy's Parallel Machines'.John Byrnes & Wilfried Sieg - 1996 - Bulletin of Symbolic Logic 2:452-3.