<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
Which of the following is a paraconsistent logic?
<|assistant|>
The most well-known paraconsistent logic is called "da Costa's paraconsistent logic". It is also sometimes referred to as "C-systems logic" or "Inconsistency-adaptive Logic".