Rough concepts logic

  • Helena Rasiowa
  • Andrzej Skowron
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 208)


Free Variable Atomic Formula Axiom Scheme Finite Model Classical Propositional Calculus 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Chen K.H., Raś Z., Skowron A., Attributes and rough properties in information systems, Proc. of the 1984 Conf. on Information Sciences and Systems, March 14–16, 1984, Princeton pp. 362–366Google Scholar
  2. [2]
    Fagin R., Generalized first-order spectra and polynomial recognizable sets, "Complexity of Computation," SIAM-AMS Proc. 7, 1974Google Scholar
  3. [3]
    Orłowska E., Pawlak Z., Representation of nondeterministic information, Theoretical Computer Science 29, 1984Google Scholar
  4. [4]
    Pawlak Z., Rough relations, ICS PAS Reports 435 (1981)Google Scholar
  5. [5]
    Pawlak Z., Rough sets, International Journal of Information and Computer Science, 11 (5), 341–356, 1982Google Scholar
  6. [6]
    Pawlak Z., Rough classification, Int. J. Man-Machine Studies 20, 469–483, 1984Google Scholar
  7. [7]
    Rasiowa H., Sikorski R., The mathematics of metamathematics, Warsaw PWN 1970Google Scholar
  8. [8]
    Stockmeyer L., Chandra A.K., Provably difficult combinatorial games, SIAM Journal Comput., 8 (2), 151–174, 1979Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Helena Rasiowa
    • 1
  • Andrzej Skowron
    • 1
  1. 1.Institute of MathematicsWarsaw University PKiN IX/907WarsawPoland

Personalised recommendations