The Equational Logic For Graph Algebras

DOI10.1002/MALQ.19890350311MaRDI QIDQ3809777zbMATH OpenOpenAlexFDO

Authors Reinhard Pöschel

Publication date 1989

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19890350311

zbMATH Keywords

completeness theorem for the equational logic of graph algebrasgraph identities

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Graph theory (05C99) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• Identities in graph algebras of type (n, n-1,,3,2,0)
• Identities in universal graph algebras
• scientific article; zbMATH DE number 1284138
• Hyperidentities in graph variety generated by \(((XX)(Y((ZX)Z)))Z\) graph
• Properties of graph which satisfy equations s\,\,t where s,t are (x(yz))z terms of type (2,0)

Cited in

(13)

• On congruences of automata defined by directed graphs
• Calculational proofs in relational graphical linear algebra
• Graph logics with rational relations
• Graph Logics with Rational Relations and the Generalized Intersection Problem
• A Term-Graph Syntax for Algebras over Multisets
• scientific article; zbMATH DE number 193710 (Why is no real title available?)
• Syntactic semigroups and graph algebras
• Two Algorithms For Languages Recognized By Graph Algebras
• scientific article; zbMATH DE number 7437711 (Why is no real title available?)
• Allegories: decidability and graph homomorphisms
• Graph variety generated by linear terms
• IDENTITIES IN BIREGULAR LEFTMOST GRAPH VARIETIES OF TYPE (2,0)
• Existential and positive theories of equations in graph products

This page was built for publication: The Equational Logic For Graph Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3809777)