Arto Salomaa对多值逻辑的贡献

2011 41st IEEE International Symposium on Multiple-Valued Logic Pub Date : 2011-05-23 DOI:10.1109/ISMVL.2011.64

R. Stankovic, J. Astola

{"title":"Arto Salomaa对多值逻辑的贡献","authors":"R. Stankovic, J. Astola","doi":"10.1109/ISMVL.2011.64","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":234611,"journal":{"name":"2011 41st IEEE International Symposium on Multiple-Valued Logic","volume":"39 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Contributions of Arto Salomaa to Multiple-Valued Logic\",\"authors\":\"R. Stankovic, J. Astola\",\"doi\":\"10.1109/ISMVL.2011.64\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":234611,\"journal\":{\"name\":\"2011 41st IEEE International Symposium on Multiple-Valued Logic\",\"volume\":\"39 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-05-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 41st IEEE International Symposium on Multiple-Valued Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2011.64\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 41st IEEE International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2011.64","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

在科学界，特别是在数学家和计算机科学家中，Arto Salomaa是著名的自动机理论和形式语言的创始人。然而，鲜为人知的是，Salomaa在多值逻辑领域开始了他的研究工作，他于1960年在芬兰图尔库大学获得了博士学位。就这样，多值逻辑的研究为Salomaa教授后来的工作奠定了基础。本文简要总结了Arto Salomaa在多值逻辑中的工作。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Contributions of Arto Salomaa to Multiple-Valued Logic

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2011 41st IEEE International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量