Login / Signup

An equivalence between indiscernibility relations in information systems and a fragment of intuitionistic logic.

Cecylia Rauszer
Published in: Symposium on Computation Theory (1984)
Keyphrases
  • equivalence relation
  • intuitionistic logic
  • information systems
  • rough set theory
  • classical logic
  • rough sets
  • linear logic
  • binary relations
  • natural deduction
  • databases
  • attribute values
  • proof theoretic