21 found
Order:
  1.  11
    A system of strict implication.P. G. J. Vredenduin - 1939 - Journal of Symbolic Logic 4 (2):73-76.
  2.  10
    Bernays Paul. Logique et science. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 1–5. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  6
    Freudenthal Hans. Inhoudelijke interpretaties in de formele logica . Koninklijke Nederlandse Akademie van Wetenschappen, Verslag van de gewone vergaderingen der Afdeling Natuurkunde, vol. 62 , pp. 94–96. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  13
    Feys R.. Oudere en nieuwe modaliteitenlogica . Handelingen van het Negentiende Vlaamse Filologencongres, Brussels 1951, pp. 284–289. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  26
    Griss G. F. C.. Negationless intuitionistic mathematics II, III, IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 , pp. 456–463, and series A, vol. 54 , pp. 193–199, 452–471; also Indagationes mathematicae, vol. 12 , pp. 108–115, and vol. 13 , pp. 193–199, 452–471. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):296-297.
  6.  30
    Griss G. F. C.. Logic of negationless intnitionistic mathematics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 , pp. 41–49; also Indagationes mathematicae, vol.13 , pp. 41–49. [REVIEW]P. G. J. Vredenduin - 1955 - Journal of Symbolic Logic 20 (1):67-68.
  7.  19
    Griss G. F. C.. La mathématique iniuitioniste sans négation. Nieuw archief voor wishunde, ser. 3 vol. 3 no. 3 , pp. 134–142. [REVIEW]P. G. J. Vredenduin - 1957 - Journal of Symbolic Logic 22 (2):214-214.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  8
    Heyting A.. G. F. C. Griss and his negationless intuitionistic mathematics. Synthese, vol. 9, issue 2 no. 2 , pp. 91–96. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
  9.  13
    Juhos Béla. Ein- und zweistellige Modalitäten. German, with summaries in German and English. Methodos, vol. 6 , pp. 69–83. [REVIEW]P. G. J. Vredenduin - 1957 - Journal of Symbolic Logic 22 (4):388-388.
  10.  10
    Marcus Ruth Barcan. Strict implication, deducibility, and the deduction theorem. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
  11.  5
    Review: A. Heyting, G. F. C. Griss and his Negationaless Intuitionistic Mathematics. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
  12.  8
    Béla Juhos. Ein- und zweistellige Modalitäten. German, with summaries in German and English. Methodos, vol. 6 , pp. 69–83. [REVIEW]P. G. J. Vredenduin - 1957 - Journal of Symbolic Logic 22 (4):388-388.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  2
    Review: G. F. C. Griss, Negationless Intuitionistic Mathematics II, III, IV. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):296-297.
  14.  6
    Review: G. F. C. Griss, Logic of Negationless Intuitionistic Mathematics. [REVIEW]P. G. J. Vredenduin - 1955 - Journal of Symbolic Logic 20 (1):67-68.
  15.  6
    Review: G. F. C. Griss, La Mathematique Intuitioniste sans Negation. [REVIEW]P. G. J. Vredenduin - 1957 - Journal of Symbolic Logic 22 (2):214-214.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  10
    Review: Hans Freudenthal, Meaningful Interpretations in Formal Logic. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
  17.  4
    Review: Naoto Yonemitsu, A Note on Systems of Logical Implication. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (3):327-327.
  18.  1
    Review: Naoto Yonemitsu, A Decision Method and a Topological Interpretation for Systems of Logical Implication. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (3):326-327.
  19. Review: Paul Bernays, Logique et Science. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
     
    Export citation  
     
    Bookmark  
  20.  5
    Review: R. Feys, Old and New Logic of Modalities. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
  21.  24
    Yonemitsu Naoto. A decision method and a topological interpretation for systems of logical implication. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 3 , pp. 6–20. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (3):326-327.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark