scientific article

zbMath0526.03004MaRDI QIDQ3041157

No author found.

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

universal Horn sentencesuniversal sentencescomplete rules of inferencepositive universal sentences

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Generalized varieties ⋮ Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences

This page was built for publication: