The Community for Technology Leaders
RSS Icon
Subscribe
Jantiago de Compostela, SPAIN
Jan. 19, 1996 to Jan. 31, 1996
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", ISMVL, 1996, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic 1996, pp. 147, doi:10.1109/ISMVL.1996.508351
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool