Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Institution
Articles 1 - 2 of 2
Full-Text Articles in Physical Sciences and Mathematics
Algebraic Topics In The Classroom – Gauss And Beyond, Lisa Krance
Algebraic Topics In The Classroom – Gauss And Beyond, Lisa Krance
Masters Essays
No abstract provided.
Decidability For Residuated Lattices And Substructural Logics, Gavin St. John
Decidability For Residuated Lattices And Substructural Logics, Gavin St. John
Electronic Theses and Dissertations
We present a number of results related to the decidability and undecidability of various varieties of residuated lattices and their corresponding substructural logics. The context of this analysis is the extension of residuated lattices by various simple equations, dually, the extension of substructural logics by simple structural rules, with the aim of classifying simple equations by the decidability properties shared by their extensions. We also prove a number of relationships among simple extensions by showing the equational theory of their idempotent semiring reducts coincides with simple extensions of idempotent semirings. On the decidability front, we develop both semantical and syntactical …