Contents
Reviews
Nicholas Rescher. On the formalization of two modal theses. Notre Dame journal of formal logic, vol. 2 (1961), pp. 154–157.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
-
- Article
- Export citation
A. F. Pixley. Distributivity and permutability of congruence relations in equational classes of algebras. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 105–109.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 762
-
- Article
- Export citation
J. R. Shoenheld. Some applications of degrees. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 56–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 610
-
- Article
- Export citation
Kimio Ibuki, Kenzi Naemura, and Akihiro Nozaki. General theory of complete sets of logical functions. Electronics and communications in Japan, vol. 46 no. 7 (for 1963, pub. 1964), pp. 55–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 416-417
-
- Article
- Export citation
J. R. Shoenheld. Applications of model theory to degrees of unsolvability. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 359–363.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 610-611
-
- Article
- Export citation
V. Kudielka and P. Oliva. Complete sets of functions of two and three binary variables. IEEE transactions on electronic computers, vol. EC-15 (1966), pp. 930–931.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 417
-
- Article
- Export citation
V. V. Višin. Toždéstvénnyé préobrazovaniá v čétyréhznačnoj logiké. Doklady Akadémii Nauk SSSR, vol. 150 (1963), pp. 719–721. - V. V. Višin. Identical transformations in four-place logic. English translation of the preceding by J. N. Whitney. Soviet mathematics, vol. 4 no. 3 (1963), pp. 724–726. - V. L. Murskij. Suščéstvovanié v tréhznačnoj logiké zamknutogo klassa s konéčnym bazisom, ne iméúščégo konéčnoj polnoj sistémy toždéstv. Doklady Akadémii Nauk SSSR, vol. 163 (1965), pp. 815–818. - V. L. Murskiǐ. The existence in three-valued logic of a closed class with finite basis, not having a finite complete system of identities. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 (1965), pp. 1020–1024.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 762-763
-
- Article
- Export citation
Bolesław Sobociński. A note on the regular and irregular modal systems of Lewis. Notre Dame journal of formal logic, vol. 3 (1962), pp. 109–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
-
- Article
- Export citation
J. L. Bell and A. B. Slomson. Models and ultraproducts: An introduction. North-Holland Publishing Company, Amsterdam and London1969, IX + 322 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 763-764
-
- Article
- Export citation
C. E. M. Yates. A minimal pair of recursively enumerable degrees. The journal of symbolic logic, vol. 31 (1966), pp. 159–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 611
-
- Article
- Export citation
Bolesław Sobociński. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 71–80. - A. N. Prior, K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 299–304. - Bolesław Sobociński. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 305–312. - Bolesław Sobociński. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 313–318. - Ivo Thomas. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 335–336. - Ivo Thomas. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 337–338.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
-
- Article
- Export citation
Bishwambhar Pahi and Ralph C. Applebee. An unsolvable problem concerning implicational calculi. Notre Dame journal of formal logic, vol. 11 (1970), pp. 200–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 417
-
- Article
- Export citation
A. H. Lachlan. Lower bounds for pairs of recursively enumerable degrees. Proceedings of the London Mathematical Society, set. 3 vol. 16 part 3 (1966), pp. 537–569.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 611
-
- Article
- Export citation
Jörg Flum. A remark on infinitiary languages. The journal of symbolic logic, vol. 36 no. 3 (for 1971, pub. 1972), pp. 461–462.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 764
-
- Article
- Export citation
Gerald J. Massey. The theory of truth tabular connectives, both truth functional and modal. The journal of symbolic logic, vol. 31 (1966), pp. 593–608. - Gerald J. Massey. Binary connectives functionally complete by themselves in S5 modal logic. The journal of symbolic logic, vol. 32 (1967), pp. 91–92.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-184
-
- Article
- Export citation
Ian Hacking. What is strict implication?The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 51–71.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 417
-
- Article
- Export citation
Erik Ellentuck. Solution of a problem of R. Friedberg. Mathematische Zeitschrift, vol. 82 (1963), pp. 101–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-612
-
- Article
- Export citation
S. Feferman and G. Kreisel. Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 480–485. - Solomon Feferman. Persistent and invariant formulas for outer extensions. Logic and foundations of mathematics, Dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff Publishing, Groningen1968, pp. 29–52; also Compositio mathematica, vol. 20 (1968), p. 29–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 764-765
-
- Article
- Export citation
Jean E. Rubin. Bi-modal logic, double-closure algebras, and Hilbert space. Zeitsckrift für matkematische Logik und Grundlagen der Mathematik, vol. 8 (1962) pp. 305–322.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
-
- Article
- Export citation
M. J. Cresswell. The interpretation of some Lewis systems of modal logic. The Australasian journal of philosophy, vol. 45 (1967), pp. 198–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-418
-
- Article
- Export citation