zbMath0532.03008MaRDI QIDQ788711
L. I. Rozonoèr
Publication date: 1983 Published in: Automation and Remote Control (Search for Journal in Brave)
zbMATH Keywords
paraconsistent logiclogical paradoxesBochvar's logic \(B_ 3\)contradictionsfirst-order classical language LPContlogic of inconsistent systems
Mathematics Subject Classification ID
Other nonclassical logic (03B60)
Related Items
