11 found
Order:
  1.  24
    Wilfried Sieg & John Byrnes (1999). An Abstract Model For Parallel Computations: Gandy’s Thesis. The Monist 82 (1):150-164.
    Wilfried Sieg and John Byrnes. AnModel for Parallel Computation: Gandy's Thesis.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  2.  21
    John Byrnes (1999). An Abstract Model For Parallel Computations. The Monist 82 (1):150-164.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  3.  45
    Wilfried Sieg & John Byrnes (1998). Normal Natural Deduction Proofs (in Classical Logic). 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   1 citation  
  4.  17
    Wilfried Sieg & John Byrnes, K-Graph Machines: Generalizing Turing's Machines and Arguments.
    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.  7
    John Byrnes (1998). Wilfried Sieg Normal Natural Deduction Proofs. Studia Logica 60:67-106.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  2
    Lester A. Lefton, Anne B. Spragins & John Byrnes (1973). English Orthography: Relation to Reading Experience. Bulletin of the Psychonomic Society 2 (5):281-282.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  10
    John Byrnes (1998). Peirce's First-Order Logic of 1885. Transactions of the Charles S. Peirce Society 34 (4):949 - 976.
  8.  9
    Wilfried Sieg & John Byrnes, Generalizing Turing's Machine and Arguments.
    Wilfred Sieg and John Byrnes. Generalizing Turing's Machine and Arguments.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  9
    Wilfried Sieg & John Byrnes, Gödel, Turing, and K-Graph Machines.
    Wilfried Sieg and John Byrnes. Gödel, Turing, and K-Graph Machines.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. John Byrnes & Wilfried Sieg (1996). A Graphical Presentation of Gandy's Parallel Machines'. Bulletin of Symbolic Logic 2:452-3.
     
    Export citation  
     
    My bibliography  
  11. Sieg & John Byrnes, Godel, Turing, and K-Graph Machines.