On axiom systems of propositional calculi, I
From MaRDI portal
Publication:5628084
DOI10.3792/pja/1195522378zbMath0223.02007WikidataQ114575970 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
03B05: Classical propositional logic
Related Items
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, On variants of axiom systems of propositional calculus, I, A characterization of the $NB$-system
Cites Work