Near-equational and equational systems of logic for partial functions. II

DOI10.2307/2274813zbMath0716.03021OpenAlexW4234638027MaRDI QIDQ3203006

No author found.

Publication date: 1989

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274813

zbMATH Keywords

equational logicderivationsequentnear equational system

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05)

Related Items (1)

Unsolid and fluid strong varieties of partial algebras

This page was built for publication: Near-equational and equational systems of logic for partial functions. II