A Finite Axiomatization for Fork Algebras

DOI10.1093/jigpal/5.3.1zbMath0873.03052OpenAlexW2062980567MaRDI QIDQ4340535

Armando Martín Haeberer, Paulo A. S. Veloso, Marcelo Fabián Frias

Publication date: 26 October 1997

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

Full work available at URL: https://doi.org/10.1093/jigpal/5.3.1

zbMATH Keywords

representabilityfinite axiomatizationrelation algebrasfinitely based varietyfork algebrasderiving programs from specificationsproper abstraction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Squares in fork arrow logic, Goals and benchmarks for automated map reasoning, Layered map reasoning