Contents
Reviews
Karl Döhmann. Der Gruppencharakter der Transformationen der dyadischen Aussage-Verknüpfungen. Logique et analyse, n.s. t. 10 (1967), p. 218–228.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation
J. R. Shoenfield. Degrees of models. The journal of symbolic logic, vol. 25 no. 3 (for 1960, pub. 1962), pp. 233–237.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 623
-
- Article
- Export citation
Henryk Greniewski. Functors of the propositional calculus. VI Zjazd Matematyków Polskich, Warszawa 20–23 IX 1948, supplement to Annales de la Société Polonaise de Mathématique, vol. 22, Cracow1950, pp. 78–86. - Henryk Greniewski. Certain notions of the theory of numbers as applied to the propositional calculus. English with brief Polish summary. Časopis pro pěstováni matematiky a fysiky, vol. 74 (1950), pp. 132–136. - Henryk Greniewski. Groups and fields definable in the propositional calculus. Towarzystwo Naukowe Warszawskie, Sprawozdania z posiedzé wydzialu III nauk matematyczno fizycznych (Socété des Sciences et des Lettres de Varsovle, Comptes-rendus des séances de la classe III sciences mathématiques et physiques), vol. 43 (for 1950, pub. 1952), pp. 53–48. - H. Greniewski. Arithmetics of natural numbers as part of the bi-valued propositional calculus. Colloquium matkematicum, vol. 2 no. 3–4 (for 1951, pub. 1952), pp. 291–297.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-305
-
- Article
- Export citation
J. Kuntzmann. Algèbre de Boole. Dunod, Paris1965, xxii + 319 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
Raymond M. Smullyan, On Post 's canonical systems. The journal of symbolic logic, vol. 27 no. 1 (for 1962, pub. 1963), pp. 55–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 623
-
- Article
- Export citation
R. A. Cuninghame-Green. Single primitive ternary connectives for the 2-valued prepositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 206–207. - Roger F. Wheeler. Complete prepositional connectives. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 185–198. - Roger F. Wheeler. An asymptotic formula for the number of complete prepositional connectives. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 1–4. - Roger F. Wheeler. Complete connectives for the 3-vaIued prepositional calculus. Proceedings of the London Mathematical Society, ser. 3 vol. 16 (1966), pp. 167–191.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
-
- Article
- Export citation
L. A. Bokut′. O gruppah Novikova (On the Novikov groups). Algébra i logika, Séminar, vol. 6 no. 1 (1967), pp. 25–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-624
-
- Article
- Export citation
Michael Dummett. A prepositional calculus with denumerable matrix. The Journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 97–106.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
A. Horn. On α-homomorphic images of α-rings of sels. Fundamenta mathematicae, vol. 51 (1962), pp. 259–266.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 624
-
- Article
- Export citation
R. A. Bull. The implicational fragment of Dummett's LC.The Journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 189–194.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
Tsutomu Hosoi. The separation theorem on the classical system. Journal of the Faculty of Science, University of Tokyo, section I, Mathematics, astronomy, physics, chemistry, vol. 12 part 2 (1966), pp. 223–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
-
- Article
- Export citation
Tsutomu Hosoi. Algebraic proof of the separation theorem on classical propositional calculus. Proceedings of the Japan Academy, vol. 42 (1966), pp. 67–69. - Tsutomu Hosoi. Algebraic proof of the separation theorem on Dummett's LC. Proceedings of the Japan Academy, vol. 42 (1966), pp. 693–695.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
L. J. Heider. Prime dual ideals in Boolean algebras. Canadian journal of mathematics, vol. 11 (1959), pp. 397–408.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 624
-
- Article
- Export citation
Ivo Thomas. Finite limitations on Dummett's LC. Notre Dame journal of formal logic, vol. 3 (1962), pp. 170–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
Ivo Thomas. On the infinity of positive logic. Notre Dame journal of formal logic, vol. 3 (1962), p. 108.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
-
- Article
- Export citation
PH. Dwinger. Remarks on the field representations of Boolean algebras. Koninklijke Nederlandse Akademie van Wettenschappen, Proceedings, series A, vol. 63 (1960), pp. 213–217; also Indagationes mathematicae, vol. 22 (1960), pp. 213–217.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
-
- Article
- Export citation
David Nelson. Non-null implication. The Journal of symbolic logic, vol. 31 (1966). pp. 562–572.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
-
- Article
- Export citation
Ph. Dwinger. On the completeness of the quotient algebras of a complete Boolean algebra I. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 61 (1958), pp. 448–456; also Indagationes mathematicae, vol. 20 (1958), pp. 448–456.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
-
- Article
- Export citation
R. A. Bull. Some results for implicational calculi. The Journal of symbolic logic, vol. 29 no. 1 (1964), pp. 33–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
-
- Article
- Export citation
John Riser. A Gentzen-type calculus of sequents for single-operator propositional logic. The Journal of symbolic logic, vol. 32 (1967), pp. 75–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
-
- Article
- Export citation