On axiom systems of propositional calculi, II

DOI10.3792/PJA/1195522379MaRDI QIDQ5628085zbMATH OpenOpenAlexWikidataFDO

Authors Yoshinari Arai

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

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cited in

(1)

• On axiom systems of propositional calculi, V

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

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