Proceedings of the Japan Academy

On axiom systems of propositional calculi, XIV

Yasuyuki Imai and Kiyoshi Iséki

Full-text: Open access

Article information

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

Dates
First available: 20 November 2007

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

Subjects
Primary: 02.20

Citation

Imai, Yasuyuki; Iséki, Kiyoshi. On axiom systems of propositional calculi, XIV. Proceedings of the Japan Academy 42 (1966), no. 1, 19--22. doi:10.3792/pja/1195522169. http://projecteuclid.org/euclid.pja/1195522169.


Export citation

References

See also

  • Part I: Yasuyuki Imai, Kiyoshi Iséki. On axiom systems of propositional calculi, I. Proc. Japan Acad., Volume 41, Number 6 (1965), 436--439.
  • Part II: Yoshinari Arai. On axiom systems of propositional calculi, II. Proc. Japan Acad., Volume 41, Number 6 (1965), 440--442.
  • Part III: Yoshinari Arai. On axiom systems of propositional calculi, III. Proc. Japan Acad., Volume 41, Number 7 (1965), 570--574.
  • Part IV: Kiyoshi Iséki. On axiom systems of propositional calculi, IV. Proc. Japan Acad., Volume 41, Number 7 (1965), 575--577.
  • 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.
  • Part VI: Shôtarô Tanaka. On axiom systems of propositional calculi, VI. Proc. Japan Acad., Volume 41, Number 8 (1965), 663--666.
  • Part VII: Yoshinari Arai, Kiyoshi Iséki. On axiom systems of propositional calculi, VII. Proc. Japan Acad., Volume 41, Number 8 (1965), 667--669.
  • Part VIII: Shôtarô Tanaka. On axiom systems of propositional calculi, VIII. Proc. Japan Acad., Volume 41, Number 9 (1965), 795--797.
  • Part IX: Shôtarô Tanaka. On axiom systems of propositional calculi, IX. Proc. Japan Acad., Volume 41, Number 9 (1965), 798--800.
  • 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.
  • Part XI: Kashiko Tanaka. On axiom systems of propositional calculi, XI. Proc. Japan Acad., Volume 41, Number 10 (1965), 898--900.
  • Part XII: Yoshinari Arai. On axiom systems of propositional calculi, XII. Proc. Japan Acad., Volume 41, Number 10 (1965), 901--903.
  • Part XIII: Shôtarô Tanaka. On axiom systems of propositional calculi, XIII. Proc. Japan Acad., Volume 41, Number 10 (1965), 904--907.
  • Part XV: Kiyoshi Iséki. On axiom systems of propositional calculi, XV. Proc. Japan Acad., Volume 42, Number 3 (1966), 217--220.
  • Part XVI: Shôtarô Tanaka. On axiom systems of propositional calculi, XVI. Proc. Japan Acad., Volume 42, Number 3 (1966), 221--224.
  • Part XVII: Yoshinari Arai. On axiom systems of propositional calculi, XVII. Proc. Japan Acad., Volume 42, Number 4 (1966), 351--354.
  • Part XVIII: Shôtarô Tanaka. On axiom systems of propositional calculi, XVIII. Proc. Japan Acad., Volume 42, Number 4 (1966), 355--357.
  • Part XIX: Yoshinari Arai, Shôtarô Tanaka. On axiom systems of propositional calculi, XIX. Proc. Japan Acad., Volume 42, Number 4 (1966), 358--360.
  • Part XX: Shôtarô Tanaka. On axiom systems of propositional calculi, XX. Proc. Japan Acad., Volume 42, Number 4 (1966), 361--363.
  • Part XXI: Kiyoshi Iséki. On axiom systems of propositional calculi, XXI. Proc. Japan Acad., Volume 42, Number 5 (1966), 441--442.
  • Part XXII: Shôtarô Tanaka. On axiom systems of propositional calculi, XXII. Proc. Japan Acad., Volume 42, Number 8 (1966), 873--874.
  • Part XXIII: Kiyoshi Iséki. On axiom systems of propositional calculi, XXIII. Proc. Japan Acad., Volume 42, Number 8 (1966), 875--877.
  • Part XXIV: Kiyoshi Iséki. On axiom systems of propositional calculi, XXIV. Proc. Japan Acad., Volume 42, Number 8 (1966), 878--879.
  • Part XXV: Shôtarô Tanaka. On axiom systems of propositional calculi, XXV. Proc. Japan Acad., Volume 43, Number 3 (1967), 192--193.