On axiom systems of propositional calculi, I

DOI10.3792/PJA/1195522378zbMATH Open0223.02007OpenAlexW2080372261WikidataQ114575970 ScholiaQ114575970MaRDI QIDQ5628084FDOQ5628084

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

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
• Symmetric bi-derivations of UP(BCC)-algebras
• On the number of unary-binary tree-like structures with restrictions on the unary height

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)