Neste artigo, fazemos um levantamento das lógicas subestruturais, uma sub-classe de lógicas caracterizadas pela ausência de alguma regras de inferência, cuja formulação esquemática não menciona quaisquer constantes lógicas. Introduzimos as lógicas subestruturais recorrendo ao cálculo de sequentes de Gentzen e discutimos alguns membros notáveis desta família, nomeadamente, a lógica intuicionista e a lógica intuicionista dual, algumas lógicas relevantes, a lógica linear, assim como algumas lógicas ‘mistas’ relacionadas com FDE. Discutimos, de seguida, algumas questões filosóficas respeitantes à subestruturalidade, com destaque para as perspectivas prova-teoréticas acerca do significado das constantes lógicas e a noção de consequência lógica.

Palavras-chave: lógicas subestruturais, cálculo de sequentes, constantes lógicas, intuicionismo lógico, lógicas mistas.