11 found
Order:
  1. 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  
     
    Bookmark   10 citations  
  2.  38
    An Abstract Model For Parallel Computations.John Byrnes - 1999 - The Monist 82 (1):150-164.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  32
    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  
     
    Bookmark   6 citations  
  4.  62
    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  
     
    Bookmark   3 citations  
  5.  16
    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  
     
    Bookmark   1 citation  
  6.  10
    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  
     
    Bookmark   1 citation  
  7.  13
    Wilfried Sieg Normal Natural Deduction Proofs.John Byrnes - 1998 - Studia Logica 60:67-106.
  8.  19
    Peirce's First-Order Logic of 1885.John Byrnes - 1998 - Transactions of the Charles S. Peirce Society 34 (4):949 - 976.
  9.  18
    Gödel, Turing, and K-Graph Machines.Wilfried Sieg & John Byrnes - unknown
  10.  4
    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.