scientific article
From MaRDI portal
Publication:3976584
zbMath0749.03014MaRDI QIDQ3976584
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyincomplete informationfuzzy logicsperception logicapproximation logiccooperating agentsindiscernibility relationresolution theorem proving systemGentzen style mechanical proof systemlogic for reasoning about knowledgeperception connectives
Fuzzy logic; logic of vagueness (03B52) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)
Related Items
Heyting algebras with Boolean operators for rough sets and information retrieval applications ⋮ Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini ⋮ Multiple granulation rough set approach to ordered information systems ⋮ Axiomatization and completeness of uncountably valued approximation logic
