A characterization of the $NB$-system

DOI10.3792/PJA/1195521839zbMath0192.02703OpenAlexW2094387659MaRDI QIDQ5586219

Kiyoshi Iseki

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

zbMATH Keywords

general logic

Cites Work

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

This page was built for publication: A characterization of the $NB$-system