11 found
Order:
  1.  3
    M. E. Szabo (1978). Algebra of Proofs. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    Provability, Computability and Reflection.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  2. M. E. Szabo (1971). The Collected Papers of Gerhard Gentzen. Journal of Philosophy 68 (8):238-265.
    Direct download  
     
    Export citation  
     
    My bibliography   15 citations  
  3.  2
    M. E. Szabo (1987). A Cut Elimination Theorem for Stationary Logic. Annals of Pure and Applied Logic 33 (2):181-193.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  4.  2
    Hans Georg Steiner, G. Frege, M. E. Szabo & E. D. Klemke (1971). Frege Und Die Grundlagen der Geometrie. Journal of Symbolic Logic 36 (1):155-155.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  2
    E. J. Farkas & M. E. Szabo (1984). “On the Plausibility of Nonstandard Proofs in Analysis”. Dialectica 38 (4):297-310.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  15
    M. M. Richter & M. E. Szabo (1988). Nonstandard Methods in Combinatorics and Theoretical Computer Science. Studia Logica 47 (3):181 - 191.
  7.  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)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  9
    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)  
     
    Export citation  
     
    My bibliography  
  9.  1
    M. E. Szabo (1981). Review: F. William Lawvere, C. Maurer, Model Theory and Topai. [REVIEW] Journal of Symbolic Logic 46 (1):158-161.
  10.  3
    M. E. Szabo (1984). Variable Truth. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):401-414.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  1
    M. E. Szabo (1983). The Continuous Realizability of Entailment. Mathematical Logic Quarterly 29 (4):219-233.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography