On axiom systems of propositional calculi, V

DOI10.3792/pja/1195522288zbMath0156.24805OpenAlexW2017983959WikidataQ114576000 ScholiaQ114576000MaRDI QIDQ5536242

Shotaro Tanaka, Kiyoshi Iseki

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

zbMATH Keywords

mathematical logic

Related Items (5)

On variants of axiom systems of propositional calculus, I ⋮ Axiom systems of $B$-algebra ⋮ On axiom systems of propositional calculi, VI ⋮ On axiom systems of propositional calculi, VIII ⋮ Axiom systems of $B$-algebra, VI

Cites Work

• On axiom systems of propositional calculi, III
• On axiom systems of propositional calculi, IV
• On axiom systems of propositional calculi, I
• On axiom systems of propositional calculi, II

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