Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets

DOI10.1016/0304-3975(92)90325-AMaRDI QIDQ1185017zbMATH OpenWikidataFDO

Authors Vincenzo Manca, Antonino Salibra

Publication date 28 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(92)90325-A

zbMATH Keywords

many- sorted algebrasmany-sorted algebrasmany-sorted equational logicpartial valuationsprobabilityprovabilitystrong satisfiability

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Equational logic, Mal'tsev conditions (08B05) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4212015
• 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
• Birkhoff's variety theorem in many sorts

Cites work

• Completeness of Proof Systems for Equational Specifications
• First-order theories as many-sorted algebras
• Heterogeneous algebras
• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 4212015 (Why is no real title available?)
• scientific article; zbMATH DE number 3911679 (Why is no real title available?)
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 3784848 (Why is no real title available?)
• scientific article; zbMATH DE number 1988958 (Why is no real title available?)
• scientific article; zbMATH DE number 1988959 (Why is no real title available?)

Cited in

(8)

• Reflection-closed varieties of multisorted algebras and minor identities
• A sound and complete \(R\)-calculi with respect to contraction and minimal change
• scientific article; zbMATH DE number 4212015 (Why is no real title available?)
• On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 67036 (Why is no real title available?)
• Some nuances of many-sorted universal algebra: a review
• Free objects and equational deduction for partial conditional specifications

This page was built for publication: Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets

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