Vredenduin P. G. J.. The logic of negationless mathematics. Compositio mathematica, vol. 11 no. 3 , pp. 204–270

Journal of Symbolic Logic 21 (1):92-93 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268513

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,601

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: P. G. J. Vredenduin, The Logic of Negationless Mathematics. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):92-93.
Vredenduin P. G. J.. Logistiek . Christiaan Huygens, vol. 18 no. 4–5 , pp. 170–211.Evert Beth - 1941 - Journal of Symbolic Logic 6 (4):162-163.
Vredenduin P. G. J.. Burkamp's logica . Algemeen Nederlands tijdschrift voor wijsbegeerie en psychologie, vol. 37 , pp. 41–51; also Annalen van het Genootschap voor wetenschappelijke philosophie, vol. 14 , pp. 1–11. [REVIEW]E. W. Beth - 1947 - Journal of Symbolic Logic 12 (1):22-22.
P. C. Gilmore. An addition to “Logic of many-sorted theories.”Compositio mathematica, vol. 13 , pp. 277–281.H. Arnold Schmidt - 1968 - Journal of Symbolic Logic 32 (4):521.
Hans Freudenthal. Zur intuitionistischen Deutung logischer Formeln. Compositio mathematica, vol. 4 no. 1 (1936), pp. 112–116. - A. Heyting. Bemerkungen zu dem Aufsatz von Herrn Freudenthai “Zur intuitionistischen Deutung logischer Formeln.” Compositio mathematica, vol. 4 no. 1 (1936), pp. 117–118. - Nachwort von Hans Freudenthal. Compositio mathematica, vol. 4 no. 1 (1936), p. 118. [REVIEW]S. C. Kleene & Olaf Helmer - 1937 - Journal of Symbolic Logic 2 (1):48-48.
Hans Freudenthal. Zur intuitionistischen Deutung logischer Formeln. Compositio mathematica, vol. 4 no. 1 , pp. 112–116. - A. Heyting. Bemerkungen zu dem Aufsatz von Herrn Freudenthai “Zur intuitionistischen Deutung logischer Formeln.” Compositio mathematica, vol. 4 no. 1 , pp. 117–118. - Nachwort von Hans Freudenthal. Compositio mathematica, vol. 4 no. 1 , p. 118. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (1):48-48.
Feferman S. and Kreisel G.. Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society, vol. 72 , pp. 480–485.Feferman Solomon. Persistent and invariant formulas for outer extensions. Logic and foundations of mathematics, Dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff Publishing, Groningen 1968, pp. 29–52; also Compositio mathematica, vol. 20 , p. 29–52. [REVIEW]K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (4):764-765.
Review: P. G. J. Vredenduin, Burkamp's Logic. [REVIEW]E. W. Beth - 1947 - Journal of Symbolic Logic 12 (1):22-22.
Vredenduin P. G. J.. A system of strict implication.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124.

Analytics

Added to PP
2016-06-30

Downloads
47 (#477,440)

6 months
21 (#145,721)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references