×

Gentzen-style calculi for quasi-identities of finite algebras. (English) Zbl 0849.08011

Summary: Confirming a conjecture of K. Palasińska and D. Pigozzi we prove that the set of quasi-identities of a finite algebra can be finitely axiomatized by a Gentzen-style calculus which results from the calculus of Selman by adding one new inference rule.

MSC:

08C15 Quasivarieties
03C05 Equational classes, universal algebra in model theory
PDFBibTeX XMLCite