This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).
-
Updated
Jul 9, 2023 - Python
This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).
Add a description, image, and links to the relation-algebra topic page so that developers can more easily learn about it.
To associate your repository with the relation-algebra topic, visit your repo's landing page and select "manage topics."