A characterization of the NB-system

DOI10.3792/PJA/1195521839MaRDI QIDQ5586219zbMATH OpenOpenAlexFDO

Authors 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

• scientific article; zbMATH DE number 3077773 (Why is no real title available?)
• Algebraic formulations of propositional calculi
• On axiom systems of propositional calculi, I
• On axiom systems of propositional calculi, XXIII

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

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