Algebraic formulations of propositional calculi

DOI10.3792/PJA/1195522251MaRDI QIDQ5518338zbMATH OpenOpenAlexFDO

Authors 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/1195522251

zbMATH Keywords

mathematical logic

Cites work

• An algebraic characterization of quantifiers
• On axiom systems of propositional calculi, III
• On axiom systems of propositional calculi, VII

Cited in

(23)

• On the determination of all NB-structures on BCK-algebras
• Blocks and compatibility in \(\mathrm d_0\)-algebras
• Axiom systems of $B$-algebra
• A characterization of Boolean algebra
• Axiom systems of B-algebra, II
• On axiom systems of propositional calculi, XIV
• On axiom systems of propositional calculi, XXIII
• Axiom systems of B-algebra, III
• Axiom systems of B-algebra, IV
• Axiom systems of B-algebra, V
• Axiom systems of B-algebra, VI
• Axiom systems of B-algebra
• On axiom systems of propositional calculi, XXV
• A characterization of Lukasiewiczian algebra, I
• On characterizations of I-algebra, I
• On characterizations of I-algebra, II
• Algebraic formulation of propositional calculi with general detachment rule
• A characterization of the NB-system
• Algebraic formulations of propositional calculi with variable forming functors
• An algebra related with a propositional calculus
• Some theorems in $B$-algebra
• Some theorems in $B$-algebra, II
• On pseudo-BL algebras and BCC-algebras

This page was built for publication: Algebraic formulations of propositional calculi

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