Publication:3962973
From MaRDI portal
zbMath0498.03018MaRDI QIDQ3962973
Joseph A. Goguen, José Meseguer
Publication date: 1982
08B05: Equational logic, Mal'tsev conditions
68P05: Data structures
08A05: Structure theory of algebraic structures
03C05: Equational classes, universal algebra in model theory
18A15: Foundations, relations to logic and deductive systems
Related Items
Horn clause programs with polymorphic types: Semantics and resolution, Completion for unification, Context induction: A proof principle for behavioural abstractions and algebraic implementations, Semantics of order-sorted specifications, Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets, An order-sorted logic for knowledge representation systems, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, AC-unification race: The system solving approach, implementation and benchmarks, Final algebras, cosemicomputable algebras and degrees of unsolvability, Universal algebra in higher types, A semi-algorithm for algebraic implementation proofs, An improved general \(E\)-unification method, Logical debugging, An algebraic semantics of higher-order types with subtypes, Structured theory presentations and logic representations, Actors, actions, and initiative in normative system specification, Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus, A completeness theorem for the expressive power of higher-order algebraic specifications, Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.