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

DOI10.3792/pja/1195521733zbMath0153.31501OpenAlexW4244559569MaRDI QIDQ5534204

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

zbMATH Keywords

mathematical logic

Related Items (2)

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

Cites Work

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

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