Algebraic formulations of propositional calculi

DOI10.3792/pja/1195522251zbMath0143.00603OpenAlexW1981745906MaRDI QIDQ5518338

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

Related Items (23)

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 ⋮ On pseudo-BL algebras and BCC-algebras ⋮ An algebra related with a propositional calculus ⋮ Some theorems in $B$-algebra ⋮ Some theorems in $B$-algebra, II ⋮ Blocks and compatibility in \(\mathrm d_0\)-algebras ⋮ On the determination of all NB-structures on BCK-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 ⋮ Axiom systems of $B$-algebra, III ⋮ Axiom systems of $B$-algebra, IV ⋮ Axiom systems of $B$-algebra, V ⋮ Axiom systems of $B$-algebra, VI ⋮ On axiom systems of propositional calculi, XXV

Cites Work

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

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