scientific article; zbMATH DE number 1107619

zbMATH Open0886.03022MaRDI QIDQ4373553FDOQ4373553

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

Publication date: 21 January 1998

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• CASL: the Common Algebraic Specification Language.
• Amalgamation in the semantics of CASL
• Title not available (Why is that?)
• Generalized Theoroidal Institution Comorphisms
• Relating CASL with other specification languages: the institution level.

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)