Substructural logics explora uma classe de sistemas formais que modificam regras estruturais da lógica clássica, com impacto em filosofia, computação e linguística.

Restall expõe conceitos-chave como recursos, restrições de dedução e variações de consequência lógica, apoiando-se em exemplos formais e discussões conceituais.

A obra facilita a compreensão de aplicações práticas desses sistemas em teorias da inferência e em modelagens formais usadas em ciência da computação e semântica linguística.