120 followers
My WoLLIC paper on axiomatizing (some) #substructural #logics with reflexive transitive closure #modalities https://t.co/QRX2eoPTTA
My WoLLIC paper on axiomatizing (some) #substructural #logics with reflexive transitive closure #modalities https://t.co/QRX2eoPTTA