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
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
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
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
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
A. N. Prior. Some axiom-pairs for material and strict implication. Zeitsckrift für matkematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 61–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
-
- Article
- Export citation
J. KnoxJr., Material implication and “if… then.”International logic review—Rassegna Internazionale di logica (Bologna), vol. 2 no. 3 (1971), pp. 90–92.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 185
-
- Article
- Export citation
Shih-Chiano Wang. Ming-t' i yen-suan ti i hsi kung-li (An axiom system for the proposition calculus). Acta mathematica Sinica, vol. 2 no. 4 (1953), pp. 267–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 185
-
- Article
- Export citation
V. A. Jankov. Constructing a sequence of strongly independent superintuitionistic propositional calculi. English translation of XXXVII 206(6) by A. Yablonsky. Soviet mathematics, vol. 9 no. 4 (1968), pp. 806–807. - V. A. Jankov. The calculus of the weak “law of excluded middle.” English translation of XXXVII 206(7). Mathematics of the USSR—Izvestija (Providence), vol. 2 no. 5 (for 1968 pub. 1969), pp. 997–1004.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
V. A. Jankov. Conjunctively indecomposable formulas in propositional calculi. English translation of XXXVII 206(8). Soviet mathematics, vol. 3 no. 1 (for 1969, pub. 1970), pp. 17–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
V. I. Šéstakov. O dvojnoj arifmétičéskoj intérprétacii tréhznačnogo isčisléniá vyskazyvanij, ispol'zuémoj pri modélirovanii elogo isčisléniá posrédstvom réléjno-kommutatornyh shém. Priménénié logiki v nauké i téhnike, Izdatél'stvo Akadémii Nauk SSSR, Moscow1960, pp. 341–376. - V. I. Šestakov. A dual arithmetic interpretation of the 3-valued propositional calculus utilized in the simulation of this calculus by relay-contact networks. English translation of the preceding by Leo Ebner. American Mathematical Society translations, ser. 2 vol. 48 (1965), pp. 45–72.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
-
- Article
- Export citation
T. D. Majstrova. Priménénié mnogoznačnoj logiki v téorii réléjnyh shém. Priménénié logiki v nauké i téhnike, Izdaté'stvo Akadémii Nauk SSSR, Moscow1960, pp. 394–414. - T. D. Maǐstrova. Application of many-valued logics in the theory of relay networks. English translation of the preceding by Leo Ebner. American Mathematical Society translations, ser. 2 vol. 48 (1965), pp. 73–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
-
- Article
- Export citation
Gr. C. Moisil. Le algebre di Lukasiewicz. Analele Universitǎţii Bucureşti, seria Acta logica, vol. 6 (1963), pp. 97–135.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
-
- Article
- Export citation
Gr. C. Moisil. Zastosowanie algebr Łukasiewicza do teorii ukladów przekaźnikowo-stykowych (Application des algèbres de Łukasiewicz à l'étude des schémas à contacts et relais). Wydawnictwo Polskiej Akademii Nauk, t. I, Varsovie1966, 122 p.; t. II, Varsovie 1967, 121 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-188
-
- Article
- Export citation
T. Traczyk. On Post algebras with uncountable chain of constants. Algebras of homomorphisms. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 673–680.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-189
-
- Article
- Export citation
T. Traczyk. Prime ideals in generalized Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 369–373.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 189
-
- Article
- Export citation
G. Grätzer. On the class of subdirect powers of a finite algebra. Acta scientiarum mathematicarum, vol. 25 (1964), pp. 160–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 189
-
- Article
- Export citation
B. Csákány. Ob abélévyh svojstvah primitivnyh klassov univérsal′nyh algébr (On the Abelian properties of the primitive classes of universal algebras). Acta scientiarum mathematicarum, vol. 25 (1964), pp. 202–208.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-190
-
- Article
- Export citation
Neal Zierler and Michael Schlessinger. Boolean embeddings of orthomodular sets and quantum logic. Duke mathematical journal, vol. 32 (1965), pp. 251–262.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 190
-
- Article
- Export citation
David Sachs. The lattice of subalgebras of a Boolean algebra. Canadian journal of mathematics, vol. 14 (1962), pp. 451–460.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-191
-
- Article
- Export citation