On Aristotle'S Nc And Em Principles In Three-Valued Logics

Enric Trillas,Claudio Moraga,Eloy Renedo

PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE（2009）

引用 23|浏览2

暂无评分

摘要

By interpreting 'p is impossible' by 'p is self-contradictory', and 'p is always' by 'not p is self-contradictory', this paper studies which of the three-valued systems of Lucasiewicz, Godel, Kleene, Bochvar, and Post, do verify the Aristotle's principles of Non-Contradiction (NC), and Excluded-Middle (EM).

查看译文

关键词

Systems of three-valued logic, Non-Contradiction, Excluded-Middle

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要