2013 IEEE 43rd International Symposium on Multiple-Valued Logic (1996)

Jantiago de Compostela, SPAIN

Jan. 19, 1996 to Jan. 31, 1996

ISSN: 0195-623X

ISBN: 0-8186-7392-3

pp: 147

J.M. Font , Fac. of Math., Barcelona Univ., Spain

ABSTRACT

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.

INDEX TERMS

formal logic; biographies; Helena Rasiowa; mathematical logic; abstract algebra; ordered sets; non-classical logics

CITATION

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