Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Substructural logic"”.
-
Decidability for Residuated Lattices and Substructural Logics
… 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 …
-
Categories of Residuated Lattices
… binary Kripke-style semantics for the relevance logic R-mingle.</p>