Translating three-variable first-order predicate logic to relation algebra, implemented using Z3

DOI10.46298/FI.11710MaRDI QIDQ6869670zbMATH OpenFDO

Authors Anthony Brogni, Sebastiaan J. C. Joosten

Publication date 22 January 2026

Published in Fundamenta Informaticae (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

first-order logictranslationrelation algebrasimplificationZ3

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

This page was built for publication: Translating three-variable first-order predicate logic to relation algebra, implemented using Z3

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