Contents
Reviews
J. Porte. Deux systèmes simples pour le calcul des propositions. Publications scientifiques de lˇUniversité dˇAlger, Série A, Mathématiques, vol. 5 (1958), pp. 5–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 247
-
- Article
- Export citation
Jens Erik Fenstad. Notes on normative logic. Avhandlinger utgitt av Det Norske Videnskaps-Akademi i Oslo, II. Historisk-filosofisk klasse, 1959 no. 1, 25 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-248
-
- Article
- Export citation
Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 (1958), pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 (1958), p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 (1958), pp. 55–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
-
- Article
- Export citation
Trevor Evans and P. B. Schwartz. On Słupecki T-Functions. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 267–270.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
-
- Article
- Export citation
Kazuo Matsumoto. On a lattice relating to intuitionistic logic. Journal of the Osaka Institute of Science and Technology, vol. 2 no. 1–2 (1950), pp. 97–107.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
Alan Rose. Sur les définitions de l'implication et de la négation dans certains systèmes de logique dont les valeurs forment des treillis. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 246 (1958), pp. 2091–2094.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
Toshio Umezawa. On intermediate many-valued logics. Journal of the Mathematical Society of Japan, Bd. 11 Heft 2 (1959), S. 116–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
William Hanf. On some fundamental problems concerning isomorphism of Boolean algebras. Mathematica Scandinavica, Bd. 5 (1957), S. 205–217.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
-
- Article
- Export citation
R. S. Pierce. Distributivity and the normal completion of Boolean algebras. Pacific journal of mathematics, vol. 8 (1958), pp. 133–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
-
- Article
- Export citation
R. S. Pierce. A note on complete Boolean algebras. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 892–896.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-252
-
- Article
- Export citation
Paul R. Halmos. Algebraic logic IV. Equality in polyadic algebras. Transactions of the American Mathematical Society, vol. 86 (1957), pp. 1–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
-
- Article
- Export citation
Oscar Varsavsky. Quantifiers and equivalence relations. Revista matemática cuyana, vol. 2 no. 1 (for 1956, pub. 1958), pp. 29–51.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
-
- Article
- Export citation
Chandler Davis. Modal operators, equivalence relations, and projective algebras, American journal of mathematics, vol. 76 (1954), pp. 747–762.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 253
-
- Article
- Export citation
Katuzi Ono. On some properties of binary relations. Nagoya mathematical journal, vol. 12 (1957), pp. 161–170.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-254
-
- Article
- Export citation
Arthur H. CopelandSr., and Frank Harary. The extension of an arbitrary Boolean algebra to an implicative Boolean algebra. Proceedings of the American Mathematical Society, vol. 4 (1953), pp. 751–758.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 254
-
- Article
- Export citation
Fritz Klein-Barmen. Zur Theorie der Strukturen und Algebren. Mathematica Japonicae, vol. 4 no. 2 (1956), pp. 83–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 254
-
- Article
- Export citation
Shreeram Abhyankar. Minimal “sum of products of sums” expressions of Boolean functions. IRE transactions on electronic computers, vol. EC-7 (1958), pp. 268–276.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
-
- Article
- Export citation
Shreeram Abhyankar. Absolute minimal expressions of Boolean functions. IRE transactions on electronic computers, vol. EC-8 (1959), pp. 3–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
-
- Article
- Export citation
L. K. Durst. On certain subsets of finite Boolean algebras. Proceedings of the American Mathematical Society, vol. 6 (1955), pp. 695–697.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
-
- Article
- Export citation
N. A. Routledge. Logic on electronic computers: A practical method for reducing expressions to conjunctive normal form. Proceedings of the Cambridge Philosophical Society, vol. 52 (1956), pp. 161–173.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
-
- Article
- Export citation