mlebar-UC
Results
1
issues of
mlebar-UC
I've added a formalization of several substructural logics in the src folder, based on chapter 2 of Greg Restall's "An Introduction to Substructural Logics". This is work I did as...