algebraic-logic

Here are 3 public repositories matching this topic...

Prototype of a programming calculus

MySQL relational schema for algebraic logic: logics, algebraic classes, axioms, properties, and subclass relations for structured querying.

mysql sql logic database-schema er-diagram algebraic-logic

Add a description, image, and links to the algebraic-logic topic page so that developers can more easily learn about it.

To associate your repository with the algebraic-logic topic, visit your repo's landing page and select "manage topics."