Johansson Ingebrigt. Der Minimalkalkül, ein reduzierter intutionistischer Formalismus. Compositio mathematica, vol. 4 no. 1 , pp. 119–136 [Book Review]

Journal of Symbolic Logic 2 (1):47-47 (1937)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200039700

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

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

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.
Johansson Ingebrigt. Sur le concept de “le” dans le calcul affirmatif et dans les calculs intuitionnistes. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 65–72.Feys R., Johansson Ingebrigt. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 72. [REVIEW]Theodore Hailperin - 1958 - Journal of Symbolic Logic 23 (3):346-346.
Espace de Hilbert et Intuitionnisme.A. Heyting, Paul Bernays, H. Hermes, Ingebrigt Johansson & Abraham Robinson - 1958 - Journal of Symbolic Logic 23 (2):228-229.
Review: Ingebrigt Johansson, Sur le Concept de "le" (Ou de "ce qui") dans le Calcul Affirmatif et dans les Calculs Intuitionnistes; R. Feys, Ingebright Johansson, Discussion: Sur le Concept de "le" (Ou de "ce qui") dans le Calcul Affirmatif et dans les Calculs Intuitionnistes. [REVIEW]Theodore Hailperin - 1958 - Journal of Symbolic Logic 23 (3):346-346.
Review: A. Heyting, Espace de Hilbert et Intuitionnisme; Paul Bernays, H. Hermes, A. Heyting, Ingebrigt Johansson, Abraham Robinson, Discussion. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.
Kleene S. C.. Quantification of number-theoretic functions. Compositio mathematica, vol. 14 no. 1 , pp. 23–40.A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-82.
van Rootselaar B.. Algebraische Kennzeichnung freier Wortarithmetiken. Compositio mathematica, vol. 15 (1963), pp. 156–168. [REVIEW]Vladeta Vuckovic - 1966 - Journal of Symbolic Logic 31 (3):509-509.
Kalmár László. Zurückführung des Enlscheidungsproblems auf den Fall von Formeln mil einer einzigen, binären, Funktionsvariablen. Compositio mathematica, vol. 4 no. 1 , pp. 137–144. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (1):48-48.
Vredenduin P. G. J.. The logic of negationless mathematics. Compositio mathematica, vol. 11 no. 3 , pp. 204–270.David Nelson - 1956 - Journal of Symbolic Logic 21 (1):92-93.
Halmos Paul R.. Algebraic logic, I. Monadic Boolean algebras. Compositio mathematica, vol. 12 , p. 217–249.Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (2):219-222.
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.
Heyting A.. Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 59–63.Bernays Paul, Hermes H., Heyting A., Johansson Ingebrigt, Robinson Abraham. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 64. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.
Accommodating Counterfactual Attitudes: A Further Reply to Johansson.John Martin Fischer & Anthony Brueckner - 2014 - The Journal of Ethics 18 (1):19-21.
Death’s Badness and Time-Relativity: A Reply to Purves.Taylor W. Cyr - 2016 - The Journal of Ethics 20 (4):435-444.
La "compositio in re" de Santo Tomás.F. A. Cunningham - 1977 - Pensamiento 33 (130):123.

Analytics

Added to PP
2013-11-22

Downloads
32 (#496,536)

6 months
3 (#962,966)

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