7 citations · 7 across the 6 of their papers we have counts for
1 paper · 2 filters
Andrew Lewis-Smith Jaš Šemrl
Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We sho…