Skip to main content
SpringerLink
Log in

Cecylia Rauszer

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  1. Cecylia Rauszer ‘Representation Theorem for Semi-Boolean Algebras I’, Bull. Ac. Pol. Sc XIX (1971).

  2. Cecylia Rauszer ‘Representation Theorem for Semi-Boolean Algebras II’, Bull. Ac. Pol. Sc XIX (1971).

  3. Cecylia Rauszer ‘A formalization of propositional Calculus of H-B Logic’, Studia Logica XXXIII (1974).

  4. Cecylia Rauszer ‘Representation Theorem for Distributive Pseudo-Boolean Algebras’, Bull. of the Section of Logic v. 3, no. 3/4 (with B. Sabalski).

  5. Cecylia Rauszer ‘Remarks on ∩-distributive Pseudo-Boolean Algebras’, Bull. Ac. Pol. Sc (1975).

  6. Cecylia Rauszer ‘Notes on Rasiowa-Sikorski Lemma’, Studia Logica (1975).

  7. Cecylia Rauszer ‘Logika z punktu widzenia matematyki’, Problemy 1 (1976).

  8. Cecylia Rauszer ‘On the Strong Completeness of H-B Predicate Calculus’, Bull. Ac. Pol. Sc IV (1977).

  9. Cecylia Rauszer ‘Logika matematyczna’, in:Leksykon Matematyczny, Wiedza Powszechna.

  10. Cecylia Rauszer ‘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. Cecylia Rauszer ‘Model Theory for an Extention of Intuitionistic Logic’, Studia Logica XXXVI (1977).

  12. Cecylia Rauszer ‘Some Remarks on Model Theory for an Extention of IL’ (abstract), Journal of Symbolic Logic XLII, p. 467.

  13. Cecylia Rauszer ‘An Algebraic Approach to the Heyting-Brouwer Predicate Calculus’, Fundamenta Mathematicae XCVI (1977).

  14. Cecylia Rauszer ‘Applications of Kripke-Models to Heyting-Brouwer Logic’, Studia Logica XXXVI (1977)

  15. Cecylia Rauszer ‘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.

    Google Scholar 

  17. Cecylia Rauszer ‘An Algebraic and Kripke-style Approach to a Certain Extention of Intuitionistic Logic’, Diss. Math. CLXVII (1980).

  18. Cecylia Rauszer ‘Semestr Algebraiczny w Centrum Banacha’ (with A. Romanowska and T. Traczyk), Wiadomosci Matematyczne, 1980.

  19. Cecylia Rauszer 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. Cecylia Rauszer ‘On an Algebraic and Kripke Semantics for Intermediate Logics’ (with H. Ono), in:Universal Algebra and Applications, Series of Banach Center Publications, vol. 9, 1982.

  21. Cecylia Rauszer ‘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.

    Google Scholar 

  23. ‘On a Certain Cut-free Axiomatization of some Intermediate Logic’ (abstract), Journal of Symbolic Logic XLIX (1984), p. 703.

    Google Scholar 

  24. ‘Some problems on Intermediate Predicate Logics’ (abstract), Journal of Symbolic Logic XLIX (1984), p. 1438.

    Google Scholar 

  25. Cecylia Rauszer ‘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.

    Google Scholar 

  27. ‘Algebraic Properties of Functional Dependencies’, Bull. Ac. Pol. Sc vol. 33, no. 9 (1985), pp. 561–569.

    Google Scholar 

  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.

    Google Scholar 

  29. ‘Remarks on Logic for Dependencies’, Bull. Ac. Pol. Sc vol. 34, no. 3/4 (1985), pp. 249–252.

    Google Scholar 

  30. Cecylia Rauszer ‘An Equivalence between Indiscernibility Relations in Information Systems and a Fragment of Intuitionistic Logic’, in:Proceedings of the Conference Mathematical Foundations of Computer Science, Lecture Notes in CS, 1984, pp. 298 – 317.

  31. Cecylia Rauszer ‘An Algebraic and Logical Approach to Indiscernibility Relations’, ICS PAS Reports no. 559, January 1985.

  32. Cecylia Rauszer Rozmaitości matematyczne, Nasza Ksiegarnia, 1980, 1983.

  33. Cecylia Rauszer ‘A Logic for Indiscernibility Relations’, in:Proceedings of the Conference on Information Sciences and Systems, Princeton 1986.

  34. Cecylia Rauszer ‘Functional Dependencies as a Fragment of Intuitionistic Logic’ (abstract), Journal of Symbolic Logic LII (1987), p. 339.

  35. Cecylia Rauszer ‘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. Cecylia Rauszer ‘Algebraic and Logical Approach to Functional and Multivalued Dependencies in Relational Databases’, in:Colloquia of the Second International Symposium on Methodologies for Intelligent Systems, Charlotte 1987.

  37. Cecylia Rauszer ‘Stable Autoepistemic Expansions’, in:Proceedings of the Third International Symposium on Methodologies for Intelligent Systems, Torino 1988.

  38. ‘Stable Autoepistemic Theories’ (abstract), Journal of Symbolic Logic 55 (1990), p. 426.

    Google Scholar 

  39. Cecylia Rauszer ‘Expansions and Models of Autoepistemic Theories’, in: 4-th Workshop CSL'90, Heidelberg 1990, Lectures Notes in Computer Science no. 533.

  40. Cecylia Rauszer ‘On Certain Stable Constructions’, in:Colloquia of the Fifth International Symposium on Methodologies for Intelligent Systems, Charlotte 1990.

  41. ‘Reducts in Information Systems’, Fundamenta Informaticae XV, 1 (1991), pp. 1–12.

    Google Scholar 

  42. ‘Algebraic Considerations of Autoepistemic Logic’, Fundamenta Informaticae XV, 2 (1991), pp. 168–169.

    Google Scholar 

  43. Cecylia Rauszer ‘Logic for Information Systems’, Fundamenta Informaticae — to apper.

  44. Cecylia Rauszer ‘Logic for Dependencies in Relational Databases’, Fundamenta Informaticae — to apper.

  45. Cecylia Rauszer ‘The Discernibility Matrices and Functions in Information Systems’ (with A. Skowron), in:Decision Support by Experience — Applications of the Rough Sets Theory, R. Słowiński (ed.), Kluwer Academic Publishers, Dordrecht — to appear.

Download references

Authors
  1. Helena Rasiowa
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rasiowa, H. Cecylia Rauszer. Stud Logica 53, 467–471 (1994). https://doi.org/10.1007/BF01057645

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01057645

Search

Navigation