On axiom systems of propositional calculi, I

DOI10.3792/PJA/1195522378MaRDI QIDQ5628084zbMATH OpenOpenAlexWikidataFDO

Authors Y. Imai, 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/1195522378

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cited in

(13)

• A characterization of the $NB$-system
• On variants of axiom systems of propositional calculus, I
• A note on fuzzy derivations of some ideals on \(d\)-algebras
• On axiom systems of propositional calculi, III
• On axiom systems of propositional calculi, IV
• On axiom systems of propositional calculi, V
• On axiom systems of propositional calculi, VI
• On axiom systems of propositional calculi, VIII
• On axiom systems of propositional calculi, XII
• On axiom systems of propositional calculi, XIII
• On axiom systems of propositional calculi, XVI
• On the number of unary-binary tree-like structures with restrictions on the unary height
• Symmetric bi-derivations of UP(BCC)-algebras

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

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