20 research outputs found
Béla Juhos. Ein- und zweistellige Modalitäten. German, with summaries in German and English. Methodos, vol. 6 (1954), pp. 69–83.
No full textRuth Barcan Marcus. Strict implication, deducibility, and the deduction theorem. The journal of symbolic logic, vol. 18 (1953), pp. 234–236.
No full textG. 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
No full textAxiomatische opbouw der verzamelingenleer, in het bijzonder der getallentheorie
No full textDiss. Utrecht.OPLADEN-RUG0
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.
No full textNaoto 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.
No full text
