On axiom systems of propositional calculi, VII

DOI10.3792/PJA/1195522290MaRDI QIDQ5536244zbMATHOpenAlexWikidataFDO

Authors Yoshinari Arai, Kiyoshi Iseki

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/1195522290

zbMATH Keywords

mathematical logic

Cites work

• On axiom systems of propositional calculi, III

Cited in

(3)

• Algebraic formulations of propositional calculi
• On axiom systems of propositional calculi, XXIV
• On axiom systems of propositional calculi, XXIII

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

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