Wroński, Andrzej Gentzen-style calculi for quasi-identities of finite algebras. (English) Zbl 0849.08011 Rep. Math. Logic 28, 73-79 (1994). 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. Cited in 1 ReviewCited in 1 Document MSC: 08C15 Quasivarieties 03C05 Equational classes, universal algebra in model theory Keywords:finite axiomatizability; quasi-identities of a finite algebra; Gentzen-style calculus; calculus of Selman PDFBibTeX XMLCite \textit{A. Wroński}, Rep. Math. Logic 28, 73--79 (1994; Zbl 0849.08011)