b'\n_START_ARTICLE_\nL\xc3\xb3gica subestrutural\n_START_SECTION_\nComposi\xc3\xa7\xc3\xa3o de premissas\n_START_PARAGRAPH_\nExistem in\xc3\xbameras formas de compor premissas (e no caso de conclus\xc3\xb5es m\xc3\xbaltiplas, as conclus\xc3\xb5es tamb\xc3\xa9m).Uma maneira \xc3\xa9 para reuni-l\xc3\xa1s em um conjunto. Mas desde que p.e. {a,a} = {a} temos contra\xc3\xa7\xc3\xb5es livres se as premissas s\xc3\xa3o conjuntos. N\xc3\xb3s tamb\xc3\xa9m temos associatividade e permuta\xc3\xa7\xc3\xa3o (ou comutatividade) para serem livres tamb\xc3\xa9m, entre outras propriedades. Em l\xc3\xb3gica subestrutural, tipicamente premissas n\xc3\xa3o s\xc3\xa3o compostas em conjuntos, mas elas s\xc3\xa3o compostas em estruturas mais refinadas, tal como \xc3\xa1rvores ou multisets (conjuntos que distinguem m\xc3\xbaltiplas ocorr\xc3\xaancias de elementos) ou sequ\xc3\xaancias de f\xc3\xb3rmulas. Por exemplo, na l\xc3\xb3gica linear, desde que as contra\xc3\xa7\xc3\xb5es falhem, as premissas devem ser compostas em algo pelo menos t\xc3\xa3o refinado quanto os multisets.\n_START_SECTION_\nHist\xc3\xb3ria\n_START_PARAGRAPH_\n\xc3\x89 um campo relativamente novo. A primeira confer\xc3\xaancia sobre o tema foi realizada em outubro de 1990 em T\xc3\xbcbingen, como \xe2\x80\x9cLogics with Restricted Structural Rules\xe2\x80\x9d. Durante a confer\xc3\xaancia, Kosta Do\xc5\xa1en prop\xc3\xb4s o termo \xe2\x80\x9csubstructural logics\xe2\x80\x9d, que \xc3\xa9 agora usado atualmente.'