28 found
Sort by:
  1. A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
    This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. A. S. Troelstra (1999). Marginalia on Sequent Calculi. Studia Logica 62 (2):291-303.
    The paper discusses the relationship between normal natural deductions and cutfree proofs in Gentzen (sequent) calculi in the absence of term labeling. For Gentzen calculi this is the usual version; for natural deduction this is the version under the complete discharge convention, where open assumptions are always discharged as soon as possible. The paper supplements work by Mints, Pinto, Dyckhoff, and Schwichtenberg on the labeled calculi.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  3. A. S. Troelstra (1998). Concepts and Axioms. Philosophia Mathematica 6 (2):195-208.
    The paper discusses the transition from informal concepts to mathematically precise notions; examples are given, and in some detail the case of lawless sequences, a concept of intuitionistic mathematics, is discussed. A final section comments on philosophical discussions concerning intuitionistic logic in connection with a ‘theory of meaning’.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. A. S. Troelstra (1995). Natural Deduction for Intuitionistic Linear Logic. Annals of Pure and Applied Logic 73 (1):79-108.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. A. S. Troelstra (1990). Review: A. G. Dragalin, E. Mendelson, Mathematical Intuitionism. Introduction to Proof Theory. [REVIEW] Journal of Symbolic Logic 55 (3):1308-1309.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. A. S. Troelstra (1988). Constructivism in Mathematics: An Introduction. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
    Provability, Computability and Reflection.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. A. S. Troelstra (1986). Strong Normalization for Typed Terms with Surjective Pairing. Notre Dame Journal of Formal Logic 27 (4):547-550.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. A. S. Troelstra (1985). Choice Sequences and Informal Rigour. Synthese 62 (2):217 - 227.
    In this paper we discuss a particular example of the passage from the informal, but rigorous description of a concept to the axiomatic formulation of principles holding for the concept; in particular, we look at the principles of continuity and lawlike choice in the theory of lawless sequences. Our discussion also leads to a better understanding of the rôle of the so-called density axiom for lawless sequences.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. G. R. Renardel de Lavalette & A. S. Troelstra (1984). Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW] Journal of Symbolic Logic 49 (1):308-311.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. J. Diller & A. S. Troelstra (1984). Realizability and Intuitionistic Logic. Synthese 60 (2):253 - 282.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. A. S. Troelstra (1983). Analysing Choice Sequences. Journal of Philosophical Logic 12 (2):197 - 260.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. L. E. J. Brouwer, A. S. Troelstra & D. van Dalen (eds.) (1982). The L.E.J. Brouwer Centenary Symposium: Proceedings of the Conference Held in Noordwijkerhout, 8-13 June 1981. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
    No categories
     
    My bibliography  
     
    Export citation  
  13. A. S. Troelstra (1981). On a Second Order Propositional Operator in Intuitionistic Logic. Studia Logica 40 (2):113 - 139.
    This paper studies, by way of an example, the intuitionistic propositional connective * defined in the language of second order propositional logic by. In full topological models * is not generally definable, but over Cantor-space and the reals it can be classically shown that; on the other hand, this is false constructively, i.e. a contradiction with Church's thesis is obtained. This is comparable with some well-known results on the completeness of intuitionistic first-order predicate logic.Over [0, 1], the operator * is (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. A. S. Troelstra (1977). Choice Sequences: A Chapter of Intuitionistic Mathematics. Clarendon Press.
  15. A. S. Troelstra (1977). Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional. Journal of Symbolic Logic 42 (2):194-202.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. A. S. Troelstra (1975). Axioms for Intuitionistic Mathematics Incompatible with Classical Logic. Mathematisch Instituut.
     
    My bibliography  
     
    Export citation  
  17. A. S. Troelstra (1974). Note on the Fan Theorem. Journal of Symbolic Logic 39 (3):584-596.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. A. S. Troelstra (1974). Review: Bruno Scarpellini, Proof Theory and Intuitionistic Systems. [REVIEW] Journal of Symbolic Logic 39 (3):607-609.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. A. S. Troelstra (1973). Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. New York,Springer.
  20. A. S. Troelstra (1972). Review: Mariko Yasugi, Intuitionistic Analysis and Godel's Interpretation. [REVIEW] Journal of Symbolic Logic 37 (2):404-404.
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. A. S. Troelstra (1971). An Addendum. Annals of Mathematical Logic 3 (4):437-439.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. A. S. Troelstra (1971). Review: Tsutomu Hosoi, On Intermediate Logics. [REVIEW] Journal of Symbolic Logic 36 (2):329-330.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. G. Kreisel & A. S. Troelstra (1970). Formal Systems for Some Branches of Intuitionistic Analysis. Annals of Mathematical Logic 1 (3):229-387.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. D. Van Dalen & A. S. Troelstra (1970). Projections of Lawless Sequences. In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and Proof Theory. Amsterdam,North-Holland Pub. Co..
    No categories
     
    My bibliography  
     
    Export citation  
  25. A. S. Troelstra (1969). Informal Theory of Choice Sequences. Studia Logica 25 (1):31 - 54.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  26. A. S. Troelstra (1969). Nieformalna Teoria Ciągów Z Wyboru. Studia Logica 25 (1):53-53.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. A. S. Troelstra (1968). Review: Takashi Nagashima, An Extension of the Craig-Schutte Interpolation Theorem. [REVIEW] Journal of Symbolic Logic 33 (2):291-292.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. A. S. Troelstra (1968). Review: Toshio Umezawa, On Logics Intermediate Between Intuitionistic and Classical Predicate Logic. [REVIEW] Journal of Symbolic Logic 33 (4):607-607.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation