12 results
Béla Juhos. Ein- und zweistellige Modalitäten. German, with summaries in German and English. Methodos, vol. 6 (1954), pp. 69–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 388
- Print publication:
- December 1957
-
- Article
- Export citation
G. F. C. Griss. La mathématique iniuitioniste sans négation. Nieuw archief voor wishunde, ser. 3 vol. 3 no. 3 (1955), pp. 134–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 214
- Print publication:
- June 1957
-
- Article
- Export citation
Naoto Yonemitsu. 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 (1954), pp. 6–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-327
- Print publication:
- September 1956
-
- Article
- Export citation
Naoto Yonemitsu. A note on systems of logical implication. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 3 (1954), pp. 21–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 327
- Print publication:
- September 1956
-
- Article
- Export citation
Hans Freudenthal. Inhoudelijke interpretaties in de formele logica (Meaningful interpretations in formal logic). Koninklijke Nederlandse Akademie van Wetenschappen, Verslag van de gewone vergaderingen der Afdeling Natuurkunde, vol. 62 (1953), pp. 94–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
- Print publication:
- March 1956
-
- Article
- Export citation
Paul Bernays. Logique et science. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 1–5.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
- Print publication:
- March 1956
-
- Article
- Export citation
A. Heyting. G. F. C. Griss and his negationless intuitionistic mathematics. Synthese, vol. 9, issue 2 no. 2 (1954), pp. 91–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
- Print publication:
- March 1956
-
- Article
- Export citation
G. F. C. Griss. Logic of negationless intnitionistic mathematics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 41–49; also Indagationes mathematicae, vol.13 (1951), pp. 41–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
- Print publication:
- March 1955
-
- Article
- Export citation
Ruth Barcan Marcus. Strict implication, deducibility, and the deduction theorem. The journal of symbolic logic, vol. 18 (1953), pp. 234–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
- Print publication:
- December 1954
-
- Article
- Export citation
G. F. C. Griss. Negationless intuitionistic mathematics II, III, IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 (1950), pp. 456–463, and series A, vol. 54 (1951), pp. 193–199, 452–471; also Indagationes mathematicae, vol. 12 (1950), pp. 108–115, and vol. 13 (1951), pp. 193–199, 452–471.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
- Print publication:
- December 1954
-
- Article
- Export citation
R. Feys. Oudere en nieuwe modaliteitenlogica (Old and new logic of modalities). Handelingen van het Negentiende Vlaamse Filologencongres, Brussels1951, pp. 284–289.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
- Print publication:
- December 1954
-
- Article
- Export citation
A system of strict implication
-
- Journal:
- The Journal of Symbolic Logic / Volume 4 / Issue 2 / June 1939
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-76
- Print publication:
- June 1939
-
- Article
- Export citation