Free objects and equational deduction for partial conditional specifications

DOI10.1016/0304-3975(95)00246-5zbMath0872.68114OpenAlexW2077369743MaRDI QIDQ673184

Maura Cerioli, Egidio Astesiano

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)

Related Items (4)

Structures for abstract rewriting ⋮ Non-strict don't care algebras and specifications ⋮ HasCasl: integrated higher-order specification and program development ⋮ Relating CASL with other specification languages: the institution level.

Cites Work

• Quasi-varieties in abstract algebraic institutions
• Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
• Computability, complexity, logic. Transl. from the German
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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