History and evolution 1950 1960 1970 1980 1990 2000 2010 Peter Schroeder-HeisterPeter Schroeder-HeisterPeter Schroeder-HeisterPeter Schroeder-HeisterPeter Schroeder-HeisterPeter Schroeder-Heister Kosta DošenKosta DošenKosta DošenKosta DošenKosta DošenKosta Došen Substructural Logics (Book) Substructural Logics (1990) 1. structural rulesconstituent✹ نمونهها/پیادهسازیها Relevance logics Linear Logic