An algebraic formulation of $K-N$ propositional calculus

DOI10.3792/pja/1195521766zbMath0166.24902OpenAlexW2039865754MaRDI QIDQ5551109

Kiyoshi Iseki

Publication date: 1966

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

zbMATH Keywords

general logic

Related Items (4)

An algebraic formulation of $K-N$ propositional calculus, III ⋮ An algebraic formulation of $K - N$ propositional calculus, IV ⋮ On Hannerisation of two countably paracompact normal spaces ⋮ An algebraic formulation of $K-N$ propositional calculus, II

Cites Work

• Unnamed Item
• Unnamed Item
• An axiom-system for \((K;N)\)-propositional calculus related to Simons' axiomatization of S3
• Notes on the axiomatics of the propositional calculus

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