On the logic of incomplete information

  • Witold LipskiJr.
Part of the Lecture Notes in Computer Science book series (LNCS, volume 53)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Hájek, P., Bendová, K. and Renc, Z., The GUHA method and the three-valued logic. Kybernetika 7 (1971) 421–435.Google Scholar
  2. 2.
    Hájek, P., Automatic listing of important observational statements III. Kybernetika 10 (1974) 95–124.Google Scholar
  3. 3.
    Hall, Ph., On representatives of subsets. J. Lond. Math. Soc. 10 (1935) 26–30.Google Scholar
  4. 4.
    Hopcroft, J. E. and Karp, R. M., An n5/2 algorithm for maximum matchings in bipartite graphs. SIAM J. Comp. 2 (1973) 225–231.CrossRefGoogle Scholar
  5. 5.
    Jaegermann, M., Information storage and retrieval systems — mathematical foundations IV. Systems with incomplete information. Fundamenta Informaticae, to appear (a preliminary version available as CC PAS Report 214, Warsaw 1975).Google Scholar
  6. 6.
    Kripke, S. A., Semantical analysis of modal logic I. Zeitschr. Math. Logik Grund. Math. 9 (1963) 67–96.Google Scholar
  7. 7.
    Kripke, S. A., The undecidability of monadic modal quantification theory. Zeitschr. Math. Logik Grund. Math. 8 (1962) 113–116.Google Scholar
  8. 8.
    Lipski, W., Informational systems with incomplete information. In: Proc. Third International Colloquium on Automata, Languages and Programming, Edinburgh 1976 (S. Michaelson and R. Milner, Eds), pp. 120–130, Edinburgh University Press, Edinburgh 1976.Google Scholar
  9. 9.
    Lipski, W., Informational systems: semantic issues related to incomplete information, Part I. CC PAS Report 275, Warsaw 1977.Google Scholar
  10. 10.
    Lipski, W. and Marek, W., On information storage and retrieval systems. In: Proc. Summer School on Mathematical Foundations of Computer Science, Warsaw 1974 (A. Mazurkiewicz, Ed.), Banach Center Publications, vol. 2, Polish Scientific Publishers, to appear. (Also available as CC PAS Report 200, Warsaw 1975.)Google Scholar
  11. 11.
    Marek, W and Pawlak, Z., Information storage and retrieval systems: mathematical foundations. Theoretical Computer Science 1 (1976) 331–354. (A preliminary version available as CC PAS Report 149, Warsaw 1974.)CrossRefGoogle Scholar
  12. 12.
    Rasiowa, H. and Sikorski, R., The mathematics of metamathematics. Polish Scientific Publishers, Warsaw 1963.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Witold LipskiJr.
    • 1
  1. 1.Institute of Computer SciencePolish Academy of SciencesWarsaw PKiN

Personalised recommendations