An algebraic formulation of $K-N$ propositional calculus, III

DOI10.3792/pja/1195521469zbMath0174.00805OpenAlexW4231208129MaRDI QIDQ5561923

Shotaro Tanaka

Publication date: 1967

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

zbMATH Keywords

general logic

Cites Work

• Unnamed Item
• Unnamed Item
• Notes on the axiomatics of the propositional calculus
• An algebraic formulation of $K-N$ propositional calculus, II
• An algebraic formulation of $K-N$ propositional calculus

This page was built for publication: An algebraic formulation of $K-N$ propositional calculus, III