Algebraic formulation of propositional calculi with general detachment rule

DOI10.3792/PJA/1195521732zbMath0174.00804OpenAlexW2033159260MaRDI QIDQ5561922

Kiyoshi Iseki

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

zbMATH Keywords

general logic

Cites Work

• Notes on the axiomatics of the propositional calculus
• The sentential calculus using rule of inference R_e
• Algebraic formulations of propositional calculi
• A characterization of Boolean algebra
• An algebra related with a propositional calculus
• Characterizations of $\mathrm{BCI, BCK}$-algebras

This page was built for publication: Algebraic formulation of propositional calculi with general detachment rule