A set of five independent postulates for Boolean algebras, with application to logical constants 论文
1913Transactions of the American Mathematical Society引用 259
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeFormal Methods in Verification
摘要
Postulate-sets for determining the class of Boolean algebrasf have been given by Schrder,