zbMath0696.03011MaRDI QIDQ3472082
Martin W. Bunder
Publication date: 1989
zbMATH Keywords
rejection rules; axiomatization of anti-theorems; logical falsehood
Mathematics Subject Classification ID
03B60: Other nonclassical logic