Gentzen-style axiomatizations in equational logic

DOI10.1007/BF01200495zbMath0831.08002OpenAlexW2074195812MaRDI QIDQ1902550

Katarzyna Pałasińska, Don Pigozzi

Publication date: 20 February 1996

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01200495

zbMATH Keywords

equational logicquasi-identitiesdeductive systemsequational theoriesGentzen-style axiomatizationquasi-equational logic

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

A Mathematical Life ⋮ Possible classification of finite-dimensional compact Hausdorff topological algebras ⋮ Fuzzy Horn logic. I. Proof theory.

Cites Work

• Unnamed Item
• Minimal, locally-finite varieties that are not finitely axiomatizable
• On the quasivarieties generated by finite semigroups
• 2-element matrices
• Completeness of calculii for axiomatically defined classes of algebras
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Identities in Finite Algebras

This page was built for publication: Gentzen-style axiomatizations in equational logic