Cecylia Rauszer (Grzegorzewice, 28 de noviembre de 1942 - Varsovia, 13 de mayo de 1994) fue una matemática y lógica polaca, especializada en lógica matemática, lógicas no clásicas y fundamentos lógicos de la informática. Fue profesora de la Universidad de Varsovia y discípula de Helena Rasiowa.
Biografía Rauszer nació en Grzegorzewice, cerca de Ostrowiec Świętokrzyski. En 1960 inició estudios en la Facultad de Matemáticas y Física de la Universidad de Varsovia. Se graduó en matemáticas en 1964 con una tesis dirigida por Stefan Rolewicz sobre ideales bilaterales cerrados en anillos de operadores sobre espacios de Banach.
En 1964 comenzó a trabajar como asistente en la Cátedra de Fundamentos de las Matemáticas de la Universidad de Varsovia. Obtuvo el doctorado en 1971 con la tesis Semi-Boolean Structures and Their Application to Intuitionistic Logic with Dual Functors, dirigida por Helena Rasiowa. En 1977 obtuvo la habilitación con el trabajo An Algebraic and Kripke-Style Approach to a Certain Extension of Intuitionistic Logic, publicado en Dissertationes Mathematicae en 1980.
Entre 1978 y 1991 fue docente en el Instituto de Matemáticas de la Universidad de Varsovia, y en 1991 obtuvo el cargo de profesora extraordinaria. Fue profesora visitante en la Universidad de Kentucky entre 1985 y 1987, y mantuvo vínculos de investigación con el Instituto de Matemáticas de la Academia Polaca de Ciencias. Falleció el 13 de mayo de 1994.
Obra La primera etapa de la obra de Rauszer estuvo dedicada a lógicas no clásicas. En su tesis doctoral y en trabajos posteriores desarrolló una teoría de la lógica de Heyting-Brouwer, incluyendo semánticas algebraicas y de Kripke para versiones proposicionales y de primer orden, así como axiomatizaciones de estilo Hilbert y Gentzen. Sus artículos A Formalization of Propositional Calculus of H-B Logic (1974), On the Strong Completeness of H-B Predicate Calculus (1977), An Algebraic Approach to the Heyting-Brouwer Predicate Calculus (1977) y Applications of Kripke-Models to Heyting-Brouwer Logic (1977) pertenecen a esta línea. También trabajó en lógicas intermedias, es decir, lógicas situadas entre la lógica intuicionista y la lógica clásica. En colaboración con Hiroakira Ono publicó On an Algebraic and Kripke Semantics for Intermediate Logics.
Desde la década de 1980 orientó parte importante de su investigación hacia la aplicación de la lógica matemática a la informática teórica. Con Andrzej Jankowski publicó Logical Foundation Approach to Users' Domain Restriction in Data Bases en Theoretical Computer Science, donde aplicó herramientas lógicas al análisis del dominio de usuarios en bases de datos. En trabajos posteriores investigó sobre dependencias funcionales, relaciones de indiscernibilidad, sistemas de información y bases de datos relacionales. Junto con Zdzisław Pawlak publicó Dependency of Attributes in Information Systems (1985), y en artículos como Algebraic Properties of Functional Dependencies, An Equivalence between Theory of Functional Dependencies and a Fragment of Intuitionistic Logic y Remarks on Logic for Dependencies estudió la estructura lógica de las dependencias en bases de datos relacionales.
En sus últimos años trabajó sobre lógica autoepistémica, lógica no monótona y representación de conocimiento incompleto. Esta línea incluye trabajos como On Stable Autoepistemic Theories (1988), Expansions and Models of Autoepistemic Theories (1990), Reducts in Information Systems (1991) y The Discernibility Matrices and Functions in Information Systems, escrito con Andrzej Skowron.
Actividad editorial e institucional Rauszer fue editora gerente de Studia Logica y miembro del comité editorial de Journal of Non-Classical Logic (actual Journal of Applied Non-Classical Logics). Fue miembro de la Association for Symbolic Logic y participó activamente en la Sociedad Matemática Polaca, de cuya sección de Varsovia fue presidenta desde 1991. También fue coorganizadora de la Polish Association for Logic and Philosophy of Science y vicepresidenta de su consejo científico.
Además de su trabajo especializado, desarrolló actividades de divulgación matemática. Publicó artículos de carácter popular bajo el seudónimo «Alef Zero», luego reunidos en el libro Rozmaitości matematyczne.
Publicaciones seleccionadas
Libros
Rauszer, C. (1980). An algebraic and Kripke-style approach to a certain extension of intuitionistic logic. Instytut Matematyczny Polskiej Akademii Nauk. Rauszer, C. (1980). Rozmaitości matematyczne. Nasza Księgarnia. Rauszer, C. (1983). Rozmaitości matematyczne (2.ª ed.). Nasza Księgarnia.
Artículos
Jankowski, A., & Rauszer, C. (1983). Logical foundation approach to users' domain restriction in data bases. Theoretical Computer Science, 23, 11-36. Pawlak, Z., & Rauszer, C. (1985). Dependency of attributes in information systems. Bulletin of the Polish Academy of Sciences. Mathematics, 33(9), 551-559. Rauszer, C. (1971). Representation theorem for semi-Boolean algebras I. Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, 19, 881-887. Rauszer, C. (1971). Representation theorem for semi-Boolean algebras II. Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, 19, 889-899. Rauszer, C. (1974). A formalization of propositional calculus of H-B logic. Studia Logica, 33, 24-34. Rauszer, C. (1976). On the strong semantical completeness of H-B predicate calculus. Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, 24, 81-87. Rauszer, C. (1977). An algebraic approach to the Heyting-Brouwer predicate calculus. Fundamenta Mathematicae, 96(2), 127-135. Rauszer, C. (1977). Applications of Kripke models to Heyting-Brouwer logic. Studia Logica, 36(1-2), 61-71. Rauszer, C. (1977). Model theory for an extension of intuitionistic logic. Studia Logica, 36(1-2), 73-87. Rauszer, C. (1985). Algebraic properties of functional dependencies. Bulletin of the Polish Academy of Sciences. Mathematics, 33(9), 561-569. Rauszer, C. (1985). An equivalence between theory of functional dependencies and a fragment of intuitionistic logic. Bulletin of the Polish Academy of Sciences. Mathematics, 33(9), 571-579. Rauszer, C. (1985). Remarks on logic for dependencies. Bulletin of the Polish Academy of Sciences. Mathematics, 34(3-4), 249-252. Rauszer, C. (1991). Algebraic considerations of autoepistemic logic. Fundamenta Informaticae, 15(2), 168-179. Rauszer, C. (1991). Reducts in information systems. Fundamenta Informaticae, 15(1), 1-12. Rauszer, C. (1992). Logic for information systems. Fundamenta Informaticae, 16(3-4), 371-382. Rauszer, C. (1993). Dependencies in relational databases: Algebraic and logical approach. Fundamenta Informaticae, 19(3-4), 235-274.
Capítulos de libro
Ono, H., & Rauszer, C. (1982). On an algebraic and Kripke semantics for intermediate logics. En *Universal algebra and applications* (*Banach Center Publications*, Vol. 9, pp. 431-438). PWN. Rauszer, C. (1979). Research work of Andrzej Mostowski in logical calculi. En K. Kuratowski, W. Marek, L. Pacholski, H. Rasiowa, C. Ryll-Nardzewski, & P. Zbierski (Eds.), A. Mostowski: Foundational studies. Selected works (pp. XLI-XLIV). PWN. Skowron, A., & Rauszer, C. (1992). The discernibility matrices and functions in information systems. En R. Słowiński (Ed.), Intelligent decision support: Handbook of applications and advances of the rough sets theory (pp. 331-362). Kluwer Academic Publishers.
Actas y ponencias
Rauszer, C. (1983). Gentzen-style axiomatization for some intermediate logic. En Proceedings of the 6th Latin American Symposium on Mathematical Logic. Caracas. Rauszer, C. (1985). An equivalence between indiscernibility relations in information systems and a fragment of intuitionistic logic. En A. Skowron (Ed.), Computation theory: Fifth Symposium, Zaborów, Poland, December 3-8, 1984 (Lecture Notes in Computer Science, Vol. 208, pp. 298-317). Springer. Rauszer, C. (1986). A logic for indiscernibility relations. En Proceedings of the Conference on Information Sciences and Systems (pp. 834-837). Princeton University. Rauszer, C. (1988). On stable autoepistemic theories. En Z. W. Raś & L. Saitta (Eds.), Methodologies for intelligent systems: Proceedings of the Third International Symposium, Turin, Italy, October 12-15, 1988 (pp. 476-484). North-Holland. Rauszer, C. (1991). Expansions and models of autoepistemic theories. En E. Börger, H. Kleine Büning, M. M. Richter, & W. Schönfeld (Eds.), *Computer science logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990* (*Lecture Notes in Computer Science*, Vol. 533, pp. 340-353). Springer.
Véase también
Lógica matemática Lógica intuicionista Lógica no clásica Base de datos relacional Conjunto aproximado Helena Rasiowa Zdzisław Pawlak
Referencias
Enlaces externos
Cecylia Rauszer en DBLP. Cecylia Rauszer en Mathematics Genealogy Project. Cecylia Rauszer (1942-1994), perfil biográfico en Wiadomości Matematyczne.
Categoría:Matemáticos de Polonia Categoría:Mujeres matemáticas Categoría:Mujeres Categoría:Lógicos Categoría:Lógicos de Polonia Categoría:Profesores de la Universidad de Varsovia Categoría:Alumnado de la Universidad de Varsovia Categoría:Nacidos en Polonia Categoría:Fallecidos en Varsovia