76 citations · 373 across the 18 of their papers we have counts for
1 paper · 2 filters
Andreas Abel
This document provides a formal proof of Birkhoff's completeness theorem for multi-sorted algebras which states that any equational entailment valid in all models is also provable…