On axiom systems of propositional calculi, XVI

previous :: next

On axiom systems of propositional calculi, XVI

Shôtarô Tanaka

Source: Proc. Japan Acad. Volume 42, Number 3 (1966), 221-224.

First Page: Show

Related Works:

Part I: Yasuyuki Imai, Kiyoshi Iséki. On axiom systems of propositional calculi, I. Proc. Japan Acad., Volume 41, Number 6 (1965), 436--439.

Mathematical Reviews (MathSciNet): MR0184842

Project Euclid: euclid.pja/1195522378

Part II: Yoshinari Arai. On axiom systems of propositional calculi, II. Proc. Japan Acad., Volume 41, Number 6 (1965), 440--442.

Mathematical Reviews (MathSciNet): MR0184843

Project Euclid: euclid.pja/1195522379

Part III: Yoshinari Arai. On axiom systems of propositional calculi, III. Proc. Japan Acad., Volume 41, Number 7 (1965), 570--574.

Mathematical Reviews (MathSciNet): MR0197281

Project Euclid: euclid.pja/1195522342

Part IV: Kiyoshi Iséki. On axiom systems of propositional calculi, IV. Proc. Japan Acad., Volume 41, Number 7 (1965), 575--577.

Mathematical Reviews (MathSciNet): MR0197282

Project Euclid: euclid.pja/1195522343

Part V: Kiyoshi Iséki, Shôtarô Tanaka. On axiom systems of propositional calculi, V. Proc. Japan Acad., Volume 41, Number 8 (1965), 661--662.

Mathematical Reviews (MathSciNet): MR0197283

Project Euclid: euclid.pja/1195522288

Part VI: Shôtarô Tanaka. On axiom systems of propositional calculi, VI. Proc. Japan Acad., Volume 41, Number 8 (1965), 663--666.

Mathematical Reviews (MathSciNet): MR0197284

Project Euclid: euclid.pja/1195522289

Part VII: Yoshinari Arai, Kiyoshi Iséki. On axiom systems of propositional calculi, VII. Proc. Japan Acad., Volume 41, Number 8 (1965), 667--669.

Mathematical Reviews (MathSciNet): MR0197285

Project Euclid: euclid.pja/1195522290

Part VIII: Shôtarô Tanaka. On axiom systems of propositional calculi, VIII. Proc. Japan Acad., Volume 41, Number 9 (1965), 795--797.

Mathematical Reviews (MathSciNet): MR0195698

Project Euclid: euclid.pja/1195522248

Part IX: Shôtarô Tanaka. On axiom systems of propositional calculi, IX. Proc. Japan Acad., Volume 41, Number 9 (1965), 798--800.

Mathematical Reviews (MathSciNet): MR0195699

Project Euclid: euclid.pja/1195522249

Part X: Kiyoshi Iséki, Shôtarô Tanaka. On axiom systems of propositional calculi, X. Proc. Japan Acad., Volume 41, Number 9 (1965), 801--802.

Mathematical Reviews (MathSciNet): MR0195700

Project Euclid: euclid.pja/1195522250

Part XI: Kashiko Tanaka. On axiom systems of propositional calculi, XI. Proc. Japan Acad., Volume 41, Number 10 (1965), 898--900.

Mathematical Reviews (MathSciNet): MR0195701

Project Euclid: euclid.pja/1195522204

Part XII: Yoshinari Arai. On axiom systems of propositional calculi, XII. Proc. Japan Acad., Volume 41, Number 10 (1965), 901--903.

Mathematical Reviews (MathSciNet): MR0195702

Project Euclid: euclid.pja/1195522205

Part XIII: Shôtarô Tanaka. On axiom systems of propositional calculi, XIII. Proc. Japan Acad., Volume 41, Number 10 (1965), 904--907.

Mathematical Reviews (MathSciNet): MR0195703

Project Euclid: euclid.pja/1195522206

Part XIV: Yasuyuki Imai, Kiyoshi Iséki. On axiom systems of propositional calculi, XIV. Proc. Japan Acad., Volume 42, Number 1 (1966), 19--22.

Mathematical Reviews (MathSciNet): MR0195704

Project Euclid: euclid.pja/1195522169

Part XV: Kiyoshi Iséki. On axiom systems of propositional calculi, XV. Proc. Japan Acad., Volume 42, Number 3 (1966), 217--220.

Mathematical Reviews (MathSciNet): MR0195705

Project Euclid: euclid.pja/1195522078

Part XVII: Yoshinari Arai. On axiom systems of propositional calculi, XVII. Proc. Japan Acad., Volume 42, Number 4 (1966), 351--354.

Mathematical Reviews (MathSciNet): MR0202564

Project Euclid: euclid.pja/1195522032

Part XVIII: Shôtarô Tanaka. On axiom systems of propositional calculi, XVIII. Proc. Japan Acad., Volume 42, Number 4 (1966), 355--357.

Mathematical Reviews (MathSciNet): MR0202565

Project Euclid: euclid.pja/1195522033

Part XIX: Yoshinari Arai, Shôtarô Tanaka. On axiom systems of propositional calculi, XIX. Proc. Japan Acad., Volume 42, Number 4 (1966), 358--360.

Mathematical Reviews (MathSciNet): MR0202566

Project Euclid: euclid.pja/1195522034

Part XX: Shôtarô Tanaka. On axiom systems of propositional calculi, XX. Proc. Japan Acad., Volume 42, Number 4 (1966), 361--363.

Mathematical Reviews (MathSciNet): MR0202567

Project Euclid: euclid.pja/1195522035

Part XXI: Kiyoshi Iséki. On axiom systems of propositional calculi, XXI. Proc. Japan Acad., Volume 42, Number 5 (1966), 441--442.

Mathematical Reviews (MathSciNet): MR0202568

Project Euclid: euclid.pja/1195521985

Part XXII: Shôtarô Tanaka. On axiom systems of propositional calculi, XXII. Proc. Japan Acad., Volume 42, Number 8 (1966), 873--874.

Mathematical Reviews (MathSciNet): MR0210557

Project Euclid: euclid.pja/1195521840

Part XXIII: Kiyoshi Iséki. On axiom systems of propositional calculi, XXIII. Proc. Japan Acad., Volume 42, Number 8 (1966), 875--877.

Mathematical Reviews (MathSciNet): MR0210558

Project Euclid: euclid.pja/1195521841

Part XXIV: Kiyoshi Iséki. On axiom systems of propositional calculi, XXIV. Proc. Japan Acad., Volume 42, Number 8 (1966), 878--879.

Mathematical Reviews (MathSciNet): MR0210558

Project Euclid: euclid.pja/1195521842

Part XXV: Shôtarô Tanaka. On axiom systems of propositional calculi, XXV. Proc. Japan Acad., Volume 43, Number 3 (1967), 192--193.

Mathematical Reviews (MathSciNet): MR0215685

Project Euclid: euclid.pja/1195521662

Full-text: Open access

PDF File (222 KB)

Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.pja/1195522079
Mathematical Reviews number (MathSciNet): MR0201275
Zentralblatt MATH identifier: 0156.24814
Digital Object Identifier: doi:10.3792/pja/1195522079

back to Table of Contents

References

[1] Y. Imai and K. Iseki: On axiom systems of propositional calculi. I. Proc. Japan Acad., 41, 436-439 (1965).

Mathematical Reviews (MathSciNet): MR184842

Zentralblatt MATH: 0223.02007

Digital Object Identifier: doi:10.3792/pja/1195522378

Project Euclid: euclid.pja/1195522378

[2] C. A. Meredith and A. N. Prior: Notes on the axiomatics of the propositional calculus. Notre Dame Journal of Formal Logic, 4, 171-187 (1963).

Mathematical Reviews (MathSciNet): MR170798

Zentralblatt MATH: 0146.00801

Digital Object Identifier: doi:10.1305/ndjfl/1093957574

Project Euclid: euclid.ndjfl/1093957574

previous :: next

Proceedings of the Japan Academy

Turn MathJax Off
What is MathJax?