13 found
Order:
  1.  2
    M. E. Szabo (1971). The Collected Papers of Gerhard Gentzen. Journal of Philosophy 68 (8):238-265.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  2.  4
    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  
  3.  5
    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.  10
    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  
  5.  16
    M. M. Richter & M. E. Szabo (1988). Nonstandard Methods in Combinatorics and Theoretical Computer Science. Studia Logica 47 (3):181 - 191.
  6.  10
    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  
  7.  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  
  8.  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  
  9.  3
    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  
  10.  1
    M. E. Szabo (1981). Review: F. William Lawvere, C. Maurer, Model Theory and Topai. [REVIEW] Journal of Symbolic Logic 46 (1):158-161.
  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  
  12. John Riser, Gerhard Gentzen, M. E. Szabo & Paul Bernays (1970). Investigations Into Logical Deduction.Introduction. Journal of Symbolic Logic 35 (1):144.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. M. E. Szabo (1981). Lawvere F. William. Introduction to Part I. Model Theory and Topoi, A Collection of Lectures by Various Authors, Edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture Notes in Mathematics, Vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 3–14.Keane Orville. Abstract Horn Theories. Model Theory and Topoi, A Collection of Lectures by Various Authors, Edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture Notes in Mathematics, Vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 15–50.Volger Hugo. Completeness Theorem for Logical Categories. Model Theory and Topoi, A Collection of Lectures by Various Authors, Edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture Notes in Mathematics, Vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 51–86.Volger Hugo. Logical Categories, Semantical Categories and Topoi. Model Theory and Topoi, A Collection of Lectures by Various Authors, Edited by Lawvere F. W., Maurer C.,. [REVIEW] Journal of Symbolic Logic 46 (1):158-161.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography