On axiom systems of propositional calculi, VI

DOI10.3792/PJA/1195522289MaRDI QIDQ5536243zbMATH OpenOpenAlexWikidataFDO

Authors Shotaro Tanaka

Publication date 1965

Published in Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3792/pja/1195522289

zbMATH Keywords

mathematical logic

Cites work

• On axiom systems of propositional calculi, I
• On axiom systems of propositional calculi, III
• On axiom systems of propositional calculi, IV
• On axiom systems of propositional calculi, V

Cited in

(3)

• On axiom systems of propositional calculi, XXIII
• On variants of axiom systems of propositional calculus, I
• On axiom systems of propositional calculi, VIII

This page was built for publication: On axiom systems of propositional calculi, VI

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5536243)