On axiom systems of propositional calculi, XI

DOI10.3792/pja/1195522204zbMath0156.24809OpenAlexW2068183915WikidataQ114576030 ScholiaQ114576030MaRDI QIDQ5536247

Kashiko 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/1195522204

zbMATH Keywords

mathematical logic

Related Items (3)

On variants of axiom systems of propositional calculus, I ⋮ Axiom systems of $B$-algebra ⋮ Axiom systems of $B$-algebra, VI

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