zbMath0412.03012MaRDI QIDQ4198477
Elias H. Alves
Publication date: 1978
zbMATH Keywords
decidabilityparaconsistent logicdialectical propositional logic
Mathematics Subject Classification ID
Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25)