Title :
From pure to approximate logic
Author_Institution :
Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain
Abstract :
Helena Rasiowa could be described as an atypical mathematician since, being a pure theoretician in the first part of her scientific life (1945-70), she changed course swiftly, around 1970, by applying her own abstract methods to practically-motivated theoretical problems arising in computer science (the analysis of computer programs) and artificial intelligence (the logic of approximations). The reasons behind such a shift of emphasis and the invariant motivations she kept along her whole life are explored in this homage-rendering contribution
Keywords :
bibliographies; biographies; formal logic; Helena Rasiowa; abstract methods; approximate logic; artificial intelligence; computer science; theoretician; Abstract algebra; Computer science; Engineering profession; Fuzzy logic; Instruments; Logic functions; Logic testing; Marketing and sales; Mathematics; Multivalued logic;
Conference_Titel :
Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on
Conference_Location :
Santiago de Compostela
Print_ISBN :
0-8186-7392-3
DOI :
10.1109/ISMVL.1996.508352
