zbMath0697.03019MaRDI QIDQ3474642
Michał Krynicki
Publication date: 1990
zbMATH Keywords
approximate truth; expressive power; first-order logic for concepts of rough definability; rough concepts logic
Mathematics Subject Classification ID
03B60: Other nonclassical logic
68T99: Artificial intelligence