zbMath0532.03007MaRDI QIDQ788710
L. I. Rozonoèr
Publication date: 1983 Published in: Automation and Remote Control (Search for Journal in Brave)
zbMATH Keywords
paraconsistent logicinconsistent systemscontradictionsderivability of formulaspropositional calculus PCont
Mathematics Subject Classification ID
Other nonclassical logic (03B60)
Related Items
