zbMath0769.03011MaRDI QIDQ4032846
Giovanni S. Queiroz, Elias H. Alves
Publication date: 1 April 1993
zbMATH Keywords
da Costa's paraconsistent logicsHeyting's intuitionistic calculus
Mathematics Subject Classification ID
Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)