9 found
Sort by:
  1. M. E. Szabo (1989). Coherence in Cartesian Closed Categories and the Generality of Proofs. Studia Logica 48 (3):285 - 297.
    We introduce the notion of an alphabetic trace of a cut-free intuitionistic prepositional proof and show that it serves to characterize the equality of arrows in cartesian closed categories. We also show that alphabetic traces improve on the notion of the generality of proofs proposed in the literature. The main theorem of the paper yields a new and considerably simpler solution of the coherence problem for cartesian closed categories than those in [11, 14].
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. E. J. Farkas & M. E. Szabo (1988). On the Programs-as-Formulas Interpretation of Parallel Programs in Peano Arithmetic. Annals of Pure and Applied Logic 37 (2):111-127.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. M. M. Richter & M. E. Szabo (1988). Nonstandard Methods in Combinatorics and Theoretical Computer Science. Studia Logica 47 (3):181 - 191.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. M. E. Szabo (1987). A Cut Elimination Theorem for Stationary Logic. Annals of Pure and Applied Logic 33:181-193.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. E. J. Farkas & M. E. Szabo (1984). “On the Plausibility of Nonstandard Proofs in Analysis”. Dialectica 38 (4):297-310.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. M. E. Szabo (1984). Variable Truth. Zeitschrift für Mathematische Logik Und Grundlagen der Mathematik 30 (26‐29):401-414.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. M. E. Szabo (1983). The Continuous Realizability of Entailment. Mathematical Logic Quarterly 29 (4):219-233.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. M. E. Szabo (1981). Review: F. William Lawvere, C. Maurer, Model Theory and Topai. [REVIEW] Journal of Symbolic Logic 46 (1):158-161.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. M. E. Szabo (1978). Algebra of Proofs. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    Provability, Computability and Reflection.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation