DocumentCode
2136858
Title
From pure to approximate logic
Author
Sales, Ton
Author_Institution
Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain
fYear
1996
fDate
29-31 May 1996
Firstpage
148
Lastpage
152
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on
Conference_Location
Santiago de Compostela
ISSN
0195-623X
Print_ISBN
0-8186-7392-3
Type
conf
DOI
10.1109/ISMVL.1996.508352
Filename
508352
Link To Document