Algebraic formulations of propositional calculi
From MaRDI portal
Publication:5518338
DOI10.3792/pja/1195522251zbMath0143.00603OpenAlexW1981745906MaRDI QIDQ5518338
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
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
This page was built for publication: Algebraic formulations of propositional calculi
