Free objects and equational deduction for partial conditional specifications

DOI10.1016/0304-3975(95)00246-5MaRDI QIDQ673184zbMATH OpenOpenAlexFDO

Authors Egidio Astesiano, Maura Cerioli

Publication date 28 February 1997

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

Full work available at URL https://doi.org/10.1016/0304-3975(95)00246-5

zbMATH Keywords

Birkhoff-like deduction theoryempty-carrier problemexistence of free and initial modelsfree modelsinfinitary conjunctionsterm-generated extensional models

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 176127
• scientific article; zbMATH DE number 92597
• Equational specification of partial higher-order algebras

Cites work

• scientific article; zbMATH DE number 1638643 (Why is no real title available?)
• scientific article; zbMATH DE number 4018376 (Why is no real title available?)
• scientific article; zbMATH DE number 3808937 (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 4052992 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 3995042 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Computability, complexity, logic. Transl. from the German
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Quasi-varieties in abstract algebraic institutions
• Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets

Cited in

(7)

• scientific article; zbMATH DE number 92597 (Why is no real title available?)
• scientific article; zbMATH DE number 176127 (Why is no real title available?)
• Structures for abstract rewriting
• HasCasl: integrated higher-order specification and program development
• Non-strict don't care algebras and specifications
• Relating CASL with other specification languages: the institution level.
• Conditional equational specifications of data types with partial operations for inductive theorem proving

This page was built for publication: Free objects and equational deduction for partial conditional specifications

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