scientific article

zbMath0602.08004MaRDI QIDQ3737481

José Meseguer, Joseph A. Goguen

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenesssoundnessclonesmany-sorted algebrasmany-sorted equational logicmany-sorted universal algebramany-sorted equational deduction

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Many-valued logic (03B50) Equational classes, universal algebra in model theory (03C05)

Related Items (38)

Equational logics (birkhoff's method revisited) ⋮ Circular Coinduction: A Proof Theoretical Foundation ⋮ Equational logic and categorical semantics for multi-languages ⋮ On observational equivalence and algebraic specification ⋮ Quasi-varieties in abstract algebraic institutions ⋮ Category-based modularisation for equational logic programming ⋮ Many-sorted and single-sorted algebras ⋮ Essential concepts of algebraic specification and program development ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ Logic programs with equational type specifications ⋮ Principles of proof scores in CafeOBJ ⋮ Generated models and the ω-rule: The nondeterministic case ⋮ Birkhoff style calculi for hybrid logics ⋮ Algebras from finite group actions and a question of Eilenberg and Schützenberger ⋮ Uniformly constructive monads ⋮ Polymorphic rewriting conserves algebraic strong normalization ⋮ Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets ⋮ Piecewise initial algebra semantics ⋮ Principles of programming with complex objects and collection types ⋮ Equational abstractions ⋮ Algebras from congruences ⋮ An improved general \(E\)-unification method ⋮ Term Equational Systems and Logics ⋮ Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras ⋮ Unnamed Item ⋮ Equational axiomatizability for coalgebra ⋮ An encoding of partial algebras as total algebras ⋮ A 2-categorial generalization of the concept of institution ⋮ Toward formal development of programs from algebraic specifications: Model-theoretic foundations ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ Weighted parsing for grammar-based language models over multioperator monoids ⋮ An algebraic generalization of Frege structures -- binding algebras ⋮ Models for the Displacement Calculus ⋮ Order-sorted inductive types ⋮ Interpreting Abstract Interpretations in Membership Equational Logic ⋮ A hidden agenda ⋮ Logical systems for structured specifications. ⋮ Reflection in conditional rewriting logic

This page was built for publication: