2013 IEEE 43rd International Symposium on Multiple-Valued Logic (1996)
Jantiago de Compostela, SPAIN
Jan. 19, 1996 to Jan. 31, 1996
J.M. Font , Fac. of Math., Barcelona Univ., Spain
Summarizes the central aspects of the contributions of Helena Rasiowa (1917-1994) to the more traditional or classical part of Mathematical Logic. One could reasonably argue that all her original research properly belongs to Mathematical Logic, more precisely to the sub-field of Algebraic Logic. As a natural consequence of her previous work on non-classical logics, in the seventies she began to study several logics motivated by computational questions, but still the spirit of her original contributions retained the same algebraic flavour. Even the introductory book (1973) bears this mark: it contains elementary set theory with special attention to ordered sets, mathematical logic, and abstract algebra.
formal logic; biographies; Helena Rasiowa; mathematical logic; abstract algebra; ordered sets; non-classical logics
J.M. Font, "On the contributions of Helena Rasiowa to mathematical logic", 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, vol. 00, no. , pp. 147, 1996, doi:10.1109/ISMVL.1996.508351