Introdução aos sistemas lógicos não-clássicos apresenta conceitos fundamentais e exemplos formais, incluindo noções de consequência lógica e estruturas semânticas.

Capítulos dedicam-se a questões aplicadas, com referências a problemas em teoria da computação e semântica formal para mostrar usos concretos desses sistemas.

O texto oferece exercícios e discussões que ajudam a comparar propriedades como completude e consistência entre diferentes sistemas. Casos concretos ilustram diferenças operacionais entre lógica clássica e alternativas não-clássicas.