Some classes containing a fork algebra equivalent variety involving projections

DOI10.1093/JIGPAL/6.2.203zbMath0893.03026OpenAlexW1980667910MaRDI QIDQ4383700

Juan Eduardo Durán

Publication date: 20 July 1998

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/855c7395617973e2a390e1a1847418683b43ca7b

zbMATH Keywords

representationfinite modelsrelation algebrasspecification of abstract data typesfinitization problemrelational reductvariety of abstract fork algebras

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15)

This page was built for publication: Some classes containing a fork algebra equivalent variety involving projections