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