Axiom systems of $B$-algebra, VI

DOI10.3792/pja/1195521988zbMath0156.00604OpenAlexW1922773609WikidataQ114576047 ScholiaQ114576047MaRDI QIDQ5537339

Shotaro Tanaka

Publication date: 1966

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

zbMATH Keywords

mathematical logic

Cites Work

• Axiom systems of $B$-algebra
• Algebraic formulations of propositional calculi
• On axiom systems of propositional calculi, V
• On axiom systems of propositional calculi, XI
• Some theorems in $B$-algebra

This page was built for publication: Axiom systems of $B$-algebra, VI