On axiom systems of propositional calculi, XXV

DOI10.3792/PJA/1195521662zbMath0158.24602OpenAlexW2017684117WikidataQ114576078 ScholiaQ114576078MaRDI QIDQ5541305

Shotaro Tanaka

Publication date: 1967

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

zbMATH Keywords

mathematical logic

Related Items (1)

On axioms of Boolean algebra

Cites Work

• Algebraic formulations of propositional calculi
• On axiom systems of propositional calculi, XIV
• Unnamed Item

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