On axiom systems of propositional calculi, I
From MaRDI portal
Publication:5628084
DOI10.3792/PJA/1195522378zbMath0223.02007OpenAlexW2080372261WikidataQ114575970 ScholiaQ114575970MaRDI QIDQ5628084
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/1195522378
Related Items (13)
On variants of axiom systems of propositional calculus, I ⋮ A characterization of the $NB$-system ⋮ A note on fuzzy derivations of some ideals on \(d\)-algebras ⋮ Symmetric bi-derivations of UP(BCC)-algebras ⋮ On the number of unary-binary tree-like structures with restrictions on the unary height ⋮ On axiom systems of propositional calculi, III ⋮ On axiom systems of propositional calculi, IV ⋮ On axiom systems of propositional calculi, V ⋮ On axiom systems of propositional calculi, VI ⋮ On axiom systems of propositional calculi, VIII ⋮ On axiom systems of propositional calculi, XII ⋮ On axiom systems of propositional calculi, XIII ⋮ On axiom systems of propositional calculi, XVI
Cites Work
This page was built for publication: On axiom systems of propositional calculi, I
