scientific article; zbMATH DE number 4212015

MaRDI QIDQ3360165zbMATH OpenFDO

Authors Vincenzo Manca, Antonino Salibra

Publication date 1990

zbMATH Keywords

completeness of the many-sorted extensions of Birkhoff equational calculusmany-sorted algebras with empty carrier setsstrong satisfiabilityunsoundness problemweak satisfiability

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25) Equational logic, Mal'tsev conditions (08B05) Abstract data types; algebraic specification (68Q65)

Recommendations

• Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
• scientific article; zbMATH DE number 3902617
• scientific article; zbMATH DE number 3970817
• On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories
• Some nuances of many-sorted universal algebra: a review

Cited in

(3)

• Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
• Cartesian sum solvability of K-ordered algebras
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3360165)