Multi-valued logic, which is the logic with more than two truth values, was suggested in 1920s by Łukasiewicz and Post and then was further developed by Łukasiewicz and Tarski, Gödel, Birkhoff and von Neumann and in the successive studies.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Background

  • Evgeny Kagan,
  • Alexander Rybalov,
  • Ronald Yager

摘要

Multi-valued logic, which is the logic with more than two truth values, was suggested in 1920s by Łukasiewicz and Post and then was further developed by Łukasiewicz and Tarski, Gödel, Birkhoff and von Neumann and in the successive studies.