An algebraic formulation of K-N propositional calculus

DOI10.3792/PJA/1195521766MaRDI QIDQ5551109zbMATH OpenOpenAlexFDO

Authors 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

Cites work

• An axiom-system for \((K;N)\)-propositional calculus related to Simons' axiomatization of S3
• scientific article; zbMATH DE number 3115104 (Why is no real title available?)
• scientific article; zbMATH DE number 3092556 (Why is no real title available?)
• Notes on the axiomatics of the propositional calculus

Cited in

(4)

• An algebraic formulation of K-N propositional calculus, II
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5551109)