Algebra–Logic Correspondence
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Any systematic relationship that links algebraic structures with logical systems so that algebraic identities reflect logical laws and logical derivations correspond to algebraic constructions.