11 results
P. C. Gilmore. An addition to “Logic of many-sorted theories.”Compositio mathematica, vol. 13 (1956–1958), pp. 277–281.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- February 1968
-
- Article
- Export citation
Wolfgang Yourgrau and Donald Livingstone. On the matter of mathematical constants. Methodos, vol. 9 (1957), pp. 3–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
- Print publication:
- March 1966
-
- Article
- Export citation
Nicholas Rescher. Many-sorted quantification. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 447–453.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-124
- Print publication:
- March 1966
-
- Article
- Export citation
Arnold Oberschelp. Untersuchungen zur mehrsortigen Quantorenlogik. Mathematische Annalen, Bd. 145 (1962), S. 297–333.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-226
- Print publication:
- June 1962
-
- Article
- Export citation
Håkan Törnebohm. Outlines of a Boolean tensor algebra with applications to the lower functional calculus. Theoria (Lund), vol. 24 (1958), pp. 39–47.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
- Print publication:
- December 1960
-
- Article
- Export citation
Håkan Törnebohm. Notes on modal operators. Theoria (Lund), vol. 24 (1958), pp. 130–135.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
- Print publication:
- December 1960
-
- Article
- Export citation
R. Harrop. On the existence of finite models and decision procedures for propositional calculi. Proceedings of the Cambridge Philosophical Society, vol. 54 (1958), pp. 1–13.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
- Print publication:
- June 1960
-
- Article
- Export citation
Ronald Harrop. The finite model property and subsystems of classical propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 29–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
- Print publication:
- June 1960
-
- Article
- Export citation
J. Ridder. Formalistische Betrachtungen über intuitionistische und verwandte logische Systeme. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, Bd. 53 (1950), S. 327–336, 446–455, 787–799, 1375–1389, und Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, Bd. 54 (1951), S. 94–105, 169–177, 226–236; auch Indagationes mathematical Bd. 12 (1950), S. 75–84, 98–107, 231–243, 445–459, und Bd. 13 (1951), S. 94–105, 169–177, 226–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-176
- Print publication:
- June 1959
-
- Article
- Export citation
Paul Lorenzen. Zur Begründung der Modallogik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 (1954), S. 15–28; auch Archiv für Philosophie, Bd. 5 Heft 1 (1954), S. 95–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-175
- Print publication:
- June 1959
-
- Article
- Export citation
Paul Lorenzen. Zur Begründung der zweiwertigen Aussagenlogik. Ebd., S. 29–32; auch ebd., S. 109–112.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- June 1959
-
- Article
- Export citation