search

gelijergensen / MetaLogic

A general purpose calculator for propositional logic systems
MIT License
0 stars 0 forks source link

Add: Implement logic system for L_ring #16

Closed gelijergensen closed 3 years ago

gelijergensen commented 3 years ago

L_ring is the language of rings, i.e. (+, -, *, 0, 1). In some ways, there isn't really a lot to do here (for now), but we can at least rewrite polynomials to be in a normal form