Contributions of Arto Salomaa to multiple-valued logic

MaRDI QIDQ4583788zbMATH OpenFDO

Authors Radomir S. Stanković, Jaako Astola

Publication date 3 September 2018

Full work available at URL http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-24-number-1-4-2015/mvlsc-24-1-4-p-1-19/

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Many-valued logic (03B50)

Recommendations

• Arnon Avron on semantics and proof theory of non-classical logics
• Ewa Orłowska on relational methods in logic and computer science
• The legacy of a great researcher
• Arto Salomaa: mathematician, computer scientist, and teacher. A thematic biography
• scientific article; zbMATH DE number 1222485

Cited in

(1)

• Arto Salomaa: mathematician, computer scientist, and teacher. A thematic biography

This page was built for publication: Contributions of Arto Salomaa to multiple-valued logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583788)