scientific article; zbMATH DE number 19156
From MaRDI portal
Publication:3976584
zbMATH Open0749.03014MaRDI QIDQ3976584FDOQ3976584
Authors: Helena Rasiowa
Publication date: 26 June 1992
Title of this publication is not available (Why is that?)
Recommendations
surveyincomplete informationfuzzy logicsperception logicapproximation logiccooperating agentsindiscernibility relationresolution theorem proving systemGentzen style mechanical proof systemlogic for reasoning about knowledgeperception connectives
Other nonclassical logic (03B60) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)
Cited In (11)
- Multiple granulation rough set approach to ordered information systems
- Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
- Title not available (Why is that?)
- Approximations of modal logics: \(\mathbf K\) and beyond
- 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
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
- Title not available (Why is that?)
- Towards Approximate BGI Systems
- Title not available (Why is that?)
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)