scientific article; zbMATH DE number 3970817
From MaRDI portal
Publication:3737481
zbMATH Open0602.08004MaRDI QIDQ3737481FDOQ3737481
Authors: Joseph Goguen, José Meseguer
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
- Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
- scientific article; zbMATH DE number 217097
- scientific article
- Some nuances of many-sorted universal algebra: a review
- On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories
completenesssoundnessclonesmany-sorted algebrasmany-sorted equational logicmany-sorted universal algebramany-sorted equational deduction
Many-valued logic (03B50) Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05)
Cited In (52)
- A complete and consistent formal system for sortals
- Essential concepts of algebraic specification and program development
- Title not available (Why is that?)
- Many-sorted equivalence of shiny and strongly polite theories
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras
- Logic programs with equational type specifications
- Polymorphic rewriting conserves algebraic strong normalization
- Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
- Reflection in conditional rewriting logic
- Quine's conjecture on many-sorted logic
- An algebraic generalization of Frege structures -- binding algebras
- Title not available (Why is that?)
- A 2-categorial generalization of the concept of institution
- Equational axiomatizability for coalgebra
- Principles of proof scores in CafeOBJ
- Logical systems for structured specifications.
- Piecewise initial algebra semantics
- Category-based modularisation for equational logic programming
- Algebras from congruences
- Presenting functors on many-sorted varieties and applications
- Some nuances of many-sorted universal algebra: a review
- Generated models and the \(\omega\)-rule: the nondeterministic case
- On observational equivalence and algebraic specification
- Equational logic and categorical semantics for multi-languages
- Equational logics (birkhoff's method revisited)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- Title not available (Why is that?)
- Term equational systems and logics (extended abstract)
- Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- Zum Aufbau Einer Mehrsortigen Elementaren Logik
- Order-sorted inductive types
- An encoding of partial algebras as total algebras
- Weighted parsing for grammar-based language models over multioperator monoids
- Uniformly constructive monads
- Algebras from finite group actions and a question of Eilenberg and Schützenberger
- A hidden agenda
- An improved general \(E\)-unification method
- Equational abstractions
- Models for the Displacement Calculus
- Quasi-varieties in abstract algebraic institutions
- Investigations in many-sorted quantor logic
- Equational completion in order-sorted algebras
- Circular coinduction: a proof theoretical foundation
- Many-sorted and single-sorted algebras
- Birkhoff style calculi for hybrid logics
- Toward formal development of programs from algebraic specifications: model-theoretic foundations
- Principles of programming with complex objects and collection types
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- Interpreting abstract interpretations in membership equational logic
- On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories
- Completion of first-order clauses with equality by strict superposition
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 Q3737481)