scientific article; zbMATH DE number 67962

MaRDI QIDQ4013970zbMATH OpenFDO

Authors Arnold Oberschelp

Publication date 27 September 1992

zbMATH Keywords

many-sorted logicsorted predicate logics

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Logic in artificial intelligence (68T27)

Recommendations

• Order-sorted logic programming with predicate hierarchy
• scientific article; zbMATH DE number 67965
• Dependently Sorted Logic
• Order-Based Inference in Natural Logic
• An order-sorted logic for knowledge representation systems
• Ordering protoalgebraic logics
• Ordered Logic Programming with Sets
• Semantics of order-sorted specifications
• Order algebraizable logics

Cited in

(7)

• Dependently Sorted Logic
• Abstract valuation semantics
• Zum Aufbau Einer Mehrsortigen Elementaren Logik
• scientific article; zbMATH DE number 1348474 (Why is no real title available?)
• Moss' logic for ordered coalgebras
• A step towards absolute versions of metamathematical results
• Order-sorted logic programming with predicate hierarchy

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