On axiom systems of propositional calculi, XXI

DOI10.3792/PJA/1195521985zbMath0156.24905OpenAlexW1980669040WikidataQ114576048 ScholiaQ114576048MaRDI QIDQ5536257

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

zbMATH Keywords

mathematical logic

Related Items (4)

Algorithms and computations for foldedness of P-ideals in BCI-algebras ⋮ Algorithms and computations for \((m,n)\)-fold \(p\)-ideals in BCI-algebras ⋮ On axioms of Boolean algebra ⋮ On axiom systems of propositional calculi, XXII

Cites Work

• On axiom systems of propositional calculi, XIV

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