21 found
Order:
  1.  21
    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  
  2.  20
    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.
  3.  17
    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.
  4.  11
    A System of Strict Implication.P. G. J. Vredenduin - 1939 - Journal of Symbolic Logic 4 (2):73-76.
  5.  6
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  10
    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.
  7.  9
    Review: G. F. C. Griss, Logic of Negationless Intuitionistic Mathematics. [REVIEW]P. G. J. Vredenduin - 1955 - Journal of Symbolic Logic 20 (1):67-68.
  8.  7
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  8
    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.
  10.  6
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  7
    Review: Hans Freudenthal, Meaningful Interpretations in Formal Logic. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
  12.  5
    Marcus Ruth Barcan. Strict Implication, Deducibility, and the Deduction Theorem. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
  13.  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.
  14.  7
    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.
  15.  4
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  4
    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.
  17.  5
    Review: R. Feys, Old and New Logic of Modalities. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
  18.  3
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  4
    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.
  20.  2
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Review: Paul Bernays, Logique Et Science. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
     
    Export citation  
     
    Bookmark