On axiom systems of propositional calculi, XIV

previous :: next

On axiom systems of propositional calculi, XIV

Yasuyuki Imai and Kiyoshi Iséki

Source: Proc. Japan Acad. Volume 42, Number 1 (1966), 19-22.

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 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 XVI: Shôtarô Tanaka. On axiom systems of propositional calculi, XVI. Proc. Japan Acad., Volume 42, Number 3 (1966), 221--224.

Mathematical Reviews (MathSciNet): MR0201275

Project Euclid: euclid.pja/1195522079

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

Primary Subjects: 02.20

Full-text: Open access

PDF File (294 KB)

Links and Identifiers

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

back to Table of Contents

References

[1] K. Iseki: Algebraic formulations of propositional calculi. Proc. Japan Acad., 41, 803-807 (1965).

Mathematical Reviews (MathSciNet): MR197286

Zentralblatt MATH: 0143.00603

Digital Object Identifier: doi:10.3792/pja/1195522251

Project Euclid: euclid.pja/1195522251

[2] A. N. Prior: Formal Logic. Oxford (1962).

Mathematical Reviews (MathSciNet): MR74344

Zentralblatt MATH: 0124.00205

previous :: next

Proceedings of the Japan Academy

Turn MathJax Off
What is MathJax?