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 条
  • [31] MODULAR REPRESENTATION OF MULTIPLE-VALUED LOGIC SYSTEMS
    GREEN, DH
    TAYLOR, IS
    PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON, 1974, 121 (06): : 409 - 418
  • [32] Multiple-valued logic minimization by genetic algorithms
    Hata, Y
    Hayase, K
    Hozumi, T
    Kamiura, N
    Yamato, K
    27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 97 - 102
  • [33] Multiple-Valued Logic and Its Algebras Foreword
    Dvurecensky, Anatolij
    Georgescu, George
    Iorgulescu, Afrodita
    Rudeanu, Sergiu
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2010, 16 (3-5) : 219 - 220
  • [34] Logic expressions of monotonic multiple-valued functions
    Nakashima, K
    Nakamura, Y
    Takagi, N
    1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, : 290 - 295
  • [35] Conquering Uncertainty in Multiple-Valued Logic Design
    Denis V. Popel
    Artificial Intelligence Review, 2003, 20 : 419 - 443
  • [36] Application of neuron MOS in multiple-valued logic
    Wang Pengjun
    Lu Jingang
    Xu Jian
    NEURAL COMPUTING & APPLICATIONS, 2008, 17 (02): : 139 - 143
  • [37] State assignment techniques in multiple-valued logic
    Adams, K.J.
    Campbell, J.G.
    Maguire, L.P.
    Webb, J.A.C.
    Proceedings of The International Symposium on Multiple-Valued Logic, 1999, : 220 - 225
  • [38] FLIP-FLOPS FOR MULTIPLE-VALUED LOGIC
    IRVING, TA
    SHIVA, SG
    NAGLE, HT
    IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (03) : 237 - 246
  • [39] Application of Neuron MOS in multiple-valued logic
    Wang Pengjun
    Lu Jingang
    Xu Jian
    Neural Computing and Applications, 2008, 17 : 139 - 143
  • [40] SPECIAL ISSUE ON MULTIPLE-VALUED LOGIC - FOREWORD
    HIGUCHI, T
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (05) : 525 - 526