scientific article; zbMATH DE number 1107619

MaRDI QIDQ4373553zbMATH OpenFDO

Authors Maura Cerioli, Bernd Krieg-Brückner, Till Mossakowski, Anne Elisabeth Haxthausen

Publication date 21 January 1998

zbMATH Keywords

order-sorted logicCoFI algebraic specification languageoverload resolution algorithmpermissive subsorted partial logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Applications of universal algebra in computer science (08A70)

Recommendations

• scientific article; zbMATH DE number 1617295
• Substructural logic and partial correctness
• Subset-logic programs and their implementation
• Permissive-nominal logic: first-order logic over nominal terms and sets
• A paraconsistent and substructural conditional logic
• Substructural logics: a primer
• Combinatory logic and the semantics of substructural logics
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• Partial deduction for structured logic programming
• Substructural Logics in Natural Deduction

Cited in

(5)

• CASL: the Common Algebraic Specification Language.
• Amalgamation in the semantics of CASL
• scientific article; zbMATH DE number 1617295 (Why is no real title available?)
• Generalized Theoroidal Institution Comorphisms
• Relating CASL with other specification languages: the institution level.

Describes a project that uses

Uses Software

• CoFI

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 Q4373553)