{{Cat main|Paraconsistent logic}}
Category:Systems of formal logic
Category:Philosophical logic
Category:Non-classical logic