Matrix expression of finite Boolean-type algebras
Shihua Fu, Daizhan Cheng, Jun‐e Feng, Jianli Zhao
Topics & Concepts
Free Boolean algebraMathematicsBoolean algebraLogical matrixBoolean algebras canonically definedIsomorphism (crystallography)HomomorphismStone's representation theorem for Boolean algebrasComplete Boolean algebraMatrix (chemical analysis)Pure mathematicsAlgebra over a fieldType (biology)Two-element Boolean algebraDiscrete mathematicsAlgebra representationGroup (periodic table)Composite materialMaterials scienceOrganic chemistryEcologyCrystal structureCrystallographyBiologyChemistryFormal Methods in VerificationAdvanced Algebra and LogicLogic, Reasoning, and Knowledge