11 found
Order:
  1.  18
    A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.H. C. M. de Swart - 1983 - Journal of Symbolic Logic 48 (1):1-20.
  2.  42
    An Intuitionistically Plausible Interpretation of Intuitionistic Logic.H. C. M. de Swart - 1977 - Journal of Symbolic Logic 42 (4):564-578.
  3.  20
    Spreads or Choice Sequences?H. C. M. De Swart - 1992 - History and Philosophy of Logic 13 (2):203-213.
    Intuitionistically. a set has to be given by a finite construction or by a construction-project generating the elements of the set in the course of time. Quantification is only meaningful if the range of each quantifier is a well-circumscribed set. Thinking upon the meaning of quantification, one is led to insights?in particular, the so-called continuity principles?which are surprising from a classical point of view. We believe that such considerations lie at the basis of Brouwer?s reconstruction of mathematics. The predicate ?α (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Perspectives on Negation: Essays in Honour of Johan J. De Iongh on His 80th Birthday.Johan J. de Iongh, H. C. M. de Swart & L. J. M. Bergman (eds.) - 1995 - Tilburg University Press.
     
    Export citation  
     
    Bookmark  
  5. Constructive completeness proofs and effective decision procedures for these systems.H. C. M. De Swart - 1980 - Logique Et Analyse 23 (90):263.
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Gentzen-Type Systems for C, K and Several Extensions of C and K; Constructive Completeness Proofs and Effective Decision Procedure for These Systems.H. C. M. de Swart - 1980 - Logique Et Analyse 90 (91):263-284.
     
    Export citation  
     
    Bookmark   2 citations  
  7. Gentzen-type systems for C,. K and several extensions of C and K.H. C. M. De Swart - 1980 - Logique Et Analyse 23 (90):263.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8.  1
    Logic: Mathematics, Language, Computer Science, and Philosophy.H. C. M. De Swart - 1993 - Peter Lang.
    Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. M. FITTING "Proof Methods for Modal and Intuitionistic Logics". [REVIEW]H. C. M. de Swart - 1985 - History and Philosophy of Logic 6 (1):152.
  10. Perspectives on Negation Essays in Honour of Johan J. De Iongh on His 80th Birthday = Perspectives Sur la Négation : Hommage À Johan J. De Iongh Pour Son 80e Anniversaire. [REVIEW]H. C. M. de Swart, L. J. M. Bergman & Johan J. de Iongh - 1995
     
    Export citation  
     
    Bookmark  
  11.  10
    Validity and Quantification in Intuitionism.H. C. M. de Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117-126.
    We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logicalnotions considered we suggest that the "most natural" reading is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.
    Direct download  
     
    Export citation  
     
    Bookmark