Contributions of Arto Salomaa to Multiple-Valued Logic

被引:0
|
作者
Stankovic, Radomir S. [1 ]
Astola, Jaakko T. [2 ]
机构
[1] Fac Elect, Dept Comp Sci, Nish 18000, Serbia
[2] Tampere Univ Technol, Dept Signal Proc, FIN-33101 Tampere, Finland
来源
2011 41ST IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL) | 2011年
基金
芬兰科学院;
关键词
D O I
10.1109/ISMVL.2011.64
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In scientific community, especially among mathematicians and computer scientists, Arto Salomaa is renowned as a founder of Automata Theory and Formal Languages. It is however less widely known that Salomaa started his research work in the area of multiple-valued logic, where he received his PhD degree in 1960 from the University of Turku, Finland. In this way, research in multiple-valued logic provided foundations for later work of Professor Salomaa. The paper presents a short summary of the work of Arto Salomaa in multiple-valued logic.
引用
收藏
页码:198 / 204
页数:7
相关论文
共 50 条