Cecylia Rauszer: bibliography

[From Studia Logica 53(1994).4, pp. 468-471]

  1. 'Representation Theorem for Semi-Boolean Algebras I, Bull. Ac. Pol. Sc XIX (1971).
  2. 'Representation Theorem for Semi-Boolean Algebras II, Bull. Ac. Pol. Sc XIX (1971).
  3. 'A formalization of propositional Calculus of H-B Logic', Studia Logica XXXIII (1974).
  4. 'Representation Theorem for Distributive Pseudo-Boolean Algebras', Bull. of the Section of Logic v. 3, no. 3/4 (with B. Sabalski).
  5. Remarks on $\cap$-distributive Pseudo-Boolean Algebras', Bull. Ac. Pol. Sc (1975).
  6. 'Notes on Rasiowa-Sikorski Lemma', Studia Logica (1975).
  7. 'Logika z punktu widzenia matematyki', Problemy 1 (1976).
  8. 'On the Strong Completeness of H-B Predicate Calculus', Bull. Ac. Pol. Sc IV (1977).
  9. 'Logika matematyczna', in: Leksykon Matematyczny, Wiedza Powszechna.
  10. 'Craig Interpolation Theorem for an Extention of Intuitionistic Logic', Bull. Ac. Pol. Sc XXV (1977) also as a short abstract in Journal of Symbolic Logic XLII, p. 134.
  11. 'Model Theory for an Extention of Intuitionistic Logic', Studia Logica XXXVI (1977).
  12. 'Some Remarks on Model Theory for an Extention of IL' (abstract), Journal of Symbolic Logic XLII, p. 467.
  13. 'An Algebraic Approach to the Heyting-Brouwer Predicate Calculus', Fundamenta Mathematicae XCVI (1977).
  14. 'Applications of Kripke-Models to Heyting-Brouwer Logic', Studia Logica XXXVI (1977)
  15. 'Research work of Andrzej Mostowski', in: A. Mostowski; Selected Works, Fundamental Studies, PWN 1979.
  16. 'Model Theory for Intuitionistic Logic' (abstract), Journal of Symbolic Logic XLIV (1979), p. 459.
  17. 'An Algebraic and Kripke-style Approch to a Certain Extention of Intuitionistic Logic', Diss. Math. CLXVII (1980).
  18. 'Semestr Algebraiczny w Centrum Banacha' (with A. Romanowska and T. Traczyk), Wiadomosci Matematyczne, 1980.
  19. Proceedings of the Conference Open Days in Model Theory and Set Theory (with W. Guzicki, W. Marek and A. Pelc), University of Leeds, 1981.
  20. 'On an Algebraic and Kripke Semantics for Intermediate Logics' (with H. Ono), in: Universal Algebra and Applications, Series of Banach Center Pub-lications, vol. 9, 1982.
  21. 'Genzen-style Axiomatization for some Intermediate Logic', in: Proceedings of the 6-th Latin American Symposium of the Mathematical Logic, Caracas 1983.
  22. 'Logical Foundation Approach to Users' Domain in Data Bases' (with A. Jankowski), Theoretical Computer Science 23 (1983), pp. 11-36.
  23. 'On a Certain Cut-free Axiomatization of some Intermediate Logic' (abstract), Journal of Symbolic Logic XLIX (1984), p. 703.
  24. 'Some problems on Intermediate Predicate Logics' (abstract), Journal of Symbolic Logic XLIX (1984), p. 1438.
  25. 'Select Problems of Computerization in the Sugar Production', publications of United Nation Industrial Development Organization, 1984.
  26. 'Dependency of Attributes in Information Systems' (with Z. Pawlak), Bull. Ac. PoL Sc vol. 33, no. 9 (1985), pp. 551-559.
  27. 'Algebraic Properties of Functional Dependencies', Bull. Ac. Pol. Sc vol. 33, no. 9 (1985), pp. 561-569.
  28. 'An Equivalence between Theory of Functional Dependencies and a Fragment of Intuitionistic Logic', Bull. Ac. Pol. Sc vol. 33, no. 9 (1985), pp. 571 -579.
  29. 'Remarks on Logic for Dependencies', Bull. Ac. Pol. Sc vol. 34, no. 3/4 (1985), pp. 249-252.
  30. 'An Equivalence between Indiscernibility Relations in Information Systems and a Fragment of Intuitionistic Logic', in: Proceedings of the Conference Mathematical Founddtions of Computer Science, Lecture Notes in CS, 1984, pp. 298-317.
  31. 'An Algebraic and Logical Approach to Indiscernibility Relations', ICS PAS Reports no. 559, January 1985.
  32. Rozmaitosci matematyczne, Nasza Ksiegarnia, 1980, 1983.
  33. 'A Logic for Indiscemibility Relations', in: Proceedings of the Conference on Information Sciences and Systems, Princeton 1986.
  34. 'Functional Dependencies as a Fragment of Intuitionistic Logic' (abstract), Journal of Symbolic Logic LII (1987), p. 339.
  35. 'Query Optimization in the Databases Distriduted by Means of Product of Equivalence Relations', in: Proceedings of the Workshop on Deductive Databases and Programing Languages, Washington 1986, Fundamenta Informaticae XI (1988), pp. 241-266.
  36. 'Algebraic and Logical Approach to Functional and Multivalued Dependencies in Relational Databases', in: Colloquia ofthe Second International Symposium on Methodologies for Intelligent Systems, Charlotte 1987.
  37. 'Stable Autoepistemic Expansions', in: Proceedings of the Third International Symposium on Methodologies for Inteligent Systems, Torino 1988.
  38. 'Stable Autoepistemic Theories' (abstract), Journal of Symbolic Logic 55 (1990), p. 426.
  39. 'Expansions and Models of Autoepistemic Theories', in: 4-th Workshop CSL'90, Heidelberg 1990, Lectures Notes in Computer Science no. 533.
  40. 'On Certain Stable Constructions', in: Colloquia of the Fifth International Sympasium on Methodologies for Intelligent Systems, Charlotte 1990.
  41. 'Reducts in Information Systems', Fundamenta Informaticae XV, 1 (1991), pp. 1-12.
  42. 'Algebraic Considerations of Autoepistemic Logic', Fundamenta Informaticae XV, 2 (1991), pp. 168-169.
  43. 'Logic for Information Systems', Fundamenta Informaticae.
  44. 'Logic for Dependencies in Relational Databases', Fundamenta Informaticae.
  45. 'The Discernibility Matrices and Functions in Information Systems' (with A. Skowron), in: Decision Support by Experience - Applications of the Rough Sets Theory, R. Slowinski (ed.), Kluwer Academic Publishers, Dordrecht.

last modfied 6.07.2005; designer and webmaster: Krzysztof Pszczola

Studia Logica

An International Journal for Symbolic Logic
Published by the Institute of Philosophy and Sociology of the Polish Academy of Sciences