scientific article; zbMATH DE number 19156

MaRDI QIDQ3976584zbMATH OpenFDO

Authors Helena Rasiowa

Publication date 26 June 1992

zbMATH Keywords

surveyincomplete informationfuzzy logicsperception logicapproximation logiccooperating agentsindiscernibility relationresolution theorem proving systemGentzen style mechanical proof systemlogic for reasoning about knowledgeperception connectives

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 4047069
• scientific article; zbMATH DE number 4080967
• Logic For Reasoning About Knowledge
• scientific article; zbMATH DE number 970614

Cited in

(11)

• Multiple granulation rough set approach to ordered information systems
• Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
• Approximations of modal logics: K and beyond
• scientific article; zbMATH DE number 1523418 (Why is no real title available?)
• Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
• Heyting algebras with Boolean operators for rough sets and information retrieval applications
• Axiomatization and completeness of uncountably valued approximation logic
• scientific article; zbMATH DE number 3871315 (Why is no real title available?)
• Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
• Towards Approximate BGI Systems
• scientific article; zbMATH DE number 4047069 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3976584)