Contents
Reviews
C. A. Meredith. Postulates for Implicational calculi. The Journal of symbolic logic, vol. 31 (1966), pp. 7–9.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
-
- Article
- Export citation
Jerzy Słupecki. Slowo wstępne (Introduction). Z zagadnień logiki i filozofii. Pisma wybrane, by Jan Łukasiewicz, edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 5–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
-
- Article
- Export citation
Ph. Dwinger. A note on the completeness of factor algebras of α-complete Boolean algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 62 (1959), pp. 376–383; also Indagationes mathematicae, vol. 21 (1959), pp. 376–383.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
-
- Article
- Export citation
Kiyoshi Iséki. Algebraic formulations of propositional calculi. Proceedings of the Japan Academy, vol. 41 (1965), pp. 803–807. - Kiyoshi Iséki. Axiom systems of B-algebra. Proceedings of the Japan Academy, vol. 41 (1965), pp. 808–811. - Kiyoshi Iséki. A characterization of Boolean algebra. Proceedings of the Japan Academy, vol. 41 (1965), pp. 893–897. - Yoshinari Arai and Kiyoshi Iséki. Axiom systems of B-algebra. II. Proceedings of the Japan Academy, vol. 41 (1965), pp. 908–910.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-626
-
- Article
- Export citation
Jan Łukasiewicz. Podstawy logiczne rachunku prawdopodobieństwa. Polish translation of IV 174(1) by Egon Viclrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 76–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 130
-
- Article
- Export citation
C. A. Meredith and A. N. Prior. Notes on the axiomatics of the prepositional calculus. Notre Dame journal of formal logic, vol. 4 (1963), pp. 171–187.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-307
-
- Article
- Export citation
George Epstein. The lattice theory of Post algebras. Transactions of the American Mathematical Society, vol. 95 (1960), pp. 300–317.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
Arto Salomaa. A theorem concerning the composition of functions of several variables ranging over a finite set. The journal of symbolic logic, vol. 25 no. 3 (for 1960, pub. 1962), pp. 203–208. - Arto Salomaa. On basic groups for the set of functions over a finite domain. Annales Academiae Scientiarum Fennicae, Series A.I, Mathematica, no. 338, Helsinki1963, 15 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
-
- Article
- Export citation
Jan Łukasiewicz. O determinizmie (On determinism). Polish translation of IV 174(1) by Egon Viclrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 114–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 130
-
- Article
- Export citation
Jan Łukasiewicz and Alfred Tarski. Badania nad rachunkiem zdań. Polish translation of 4071A by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 129–143.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
-
- Article
- Export citation
Ph. Dwinger. Notes on Post algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 69 (1966), pp. 462–478; also Indagationes mathematicae, vol. 28 (1966), pp. 462–478.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
Roberto Cignoli. Boolean elements in Lukasiewicz algebras. I. Proceedings of the Japan Academy, t. 41 (1965), p. 670–675.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 307-308
-
- Article
- Export citation
Roberto Cignoli et Antonio Monteiro. Boolean elements in Lukasiewicz algebras. II. Proceedings of the Japan Academy, t. 41 (1965), p. 676–680.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
Joachim Lamber. The mathematics of sentence structure. American mathematical monthly, vol. 65 No. 3 (1958), pp. 154–170. - Joachim Lambek. Contributions to a mathematical analysis of the English verb-phrase. Journal of the Canadian Linguistic Association, vol. 5 (1959), pp. 83–89. - Joachim Lambek. On the calculus of syntactic types. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 166–178. - L. M. Court, J. Lambek, H. Hiż. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 264–265. - Joel M. Cohen. The equivalence of two concepts of categorial grammar. Information and control, vol. 10 (1967), pp. 475–484.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 627-628
-
- Article
- Export citation
Jan Łukasiewicz. Uwagi filozoficzne o wielowartościowych systemach rachunku zdań. Polish translation of 1868 by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 144–163.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
-
- Article
- Export citation
Luiz Monteiro. Sur les algèbres de Lukasiewicz injectives. Proceedings of the Japan Academy, t. 41 (1965), p. 578–581.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
C.Y. Lee. Categorizing automata by W-machine programs. Journal of the Association for Computing Machinery, Bd. 8 (1961), S. 384–399. - Seiiti Huzino und Mariko Yoneyama. On a proof of Schepherdson's theorem. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 16 (1962), S. 88–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 628
-
- Article
- Export citation
Jan Łukasiewicz. Z historii logiki zdań (Of the history of the logic of propositions). A reprint of 18612. Uwagi filozoficzne o wielowartościowych systemach rachunku zdań. Polish translation of 1868 by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 178–194.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
Seiiti Huzino. Simulatability of finite automata by Schepherdson and Sturgis' machines. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 20 (1966), S. 1–15. - Seiiti Huzino. On the simulation of real-time Turing machines by a modified Schepherdson-Sturgis' machine. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 20 (1966), S. 16–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 628-629
-
- Article
- Export citation
R. K. Meyer. Pure denumerable Łukasiewiczian implication. The journal of symbolic logic, vol. 31 (1966), pp. 575–580.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation