120 followers Igor Sedlár @igorsedlar Semantics for substructural logics based on normal Kripke frames? Yep. http://t.co/jjTitxcbhB #substructurallogic 10 May 2014 Reply Repost Favourite