Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 9 no. 2 (1957), pp. 113–130. See Correction, Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 10 (1958), p. 147.

Richard Routley

doi:10.2307/2272206

Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 9 no. 2 (1957), pp. 113–130. See Correction, Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 10 (1958), p. 147.

Journal of Symbolic Logic ◽

10.2307/2272206 ◽

1975 ◽

Vol 40 (3) ◽

pp. 466-467 ◽

Cited By ~ 2

Author(s):

Richard Routley

Keyword(s):

Mathematical Journal

Download Full-text

Neal Zierler and Michael Schlessinger. Boolean embeddings of orthomodular sets and quantum logic. Duke mathematical journal, vol. 32 (1965), pp. 251–262.

Journal of Symbolic Logic ◽

10.2307/2272597 ◽

1972 ◽

Vol 37 (1) ◽

pp. 190-190

Author(s):

M. Drieschner

Keyword(s):

Quantum Logic ◽

Mathematical Journal ◽

Duke Mathematical Journal

Download Full-text

E. T. Bell. Polynomials on a finite discrete range. Duke mathematical journal, vol. 10 (1943), pp. 33–47.

Journal of Symbolic Logic ◽

10.2307/2267324 ◽

1944 ◽

Vol 9 (1) ◽

pp. 31-31

Author(s):

H. E. Vaughan

Keyword(s):

Mathematical Journal ◽

Bell Polynomials ◽

Duke Mathematical Journal

Download Full-text

II. On an extended form of the index symbol in the calculus of operations

Philosophical Transactions of the Royal Society of London ◽

10.1098/rstl.1860.0003 ◽

1860 ◽

Vol 150 ◽

pp. 13-42

Keyword(s):

Mathematical Journal ◽

Extended Form ◽

The Subject

In the following paper I propose to resume more in detail the subject of a communication made to the Cambridge and Dublin Mathematical Journal (vol. viii. p. 25). The present investigations are restricted to the case of two variables. § 1. The Theory of ∇ and ∇ 1 .

Download Full-text