11 found
Sort by:
  1. John Byrnes (1999). An Abstract Model For Parallel Computations. The Monist 82 (1):150-164.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. John Byrnes (1998). Peirce's First-Order Logic of 1885. Transactions of the Charles S. Peirce Society 34 (4):949 - 976.
  3. John Byrnes (1998). Wilfried Sieg Normal Natural Deduction Proofs. Studia Logica 60:67-106.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Wilfried Sieg & John Byrnes, An Abstract Model for Parallel Computation: Gandy's Thesis.
    Wilfried Sieg and John Byrnes. AnModel for Parallel Computation: Gandy's Thesis.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. 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)  
     
    My bibliography  
     
    Export citation  
  6. Wilfried Sieg & John Byrnes, Gödel, Turing, and K-Graph Machines.
    Wilfried Sieg and John Byrnes. Gödel, Turing, and K-Graph Machines.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. John Byrnes & Wilfried Sieg (1996). A Graphical Presentation of Gandy's Parallel Machines'. Bulletin of Symbolic Logic 2:452-3.
     
    My bibliography  
     
    Export citation  
  8. 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)  
     
    My bibliography  
     
    Export citation  
  9. Sieg & John Byrnes, Godel, Turing, and K-Graph Machines.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. 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)  
     
    My bibliography  
     
    Export citation  
  11. 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)  
     
    My bibliography  
     
    Export citation