Open AccessGeneralized modus tollens using truth function mapping
Author(s) -
Yong-Sik Yun,
Sung Hoon Kang,
Jin-Won Park
Publication year - 2007
Publication title -
han-gug jineung siseutem haghoe nonmunji/han-guk jineung siseutem hakoe nonmunji
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2288-2324
pISSN - 1976-9172
DOI - 10.5391/jkiis.2007.17.5.674
Subject(s) - modus ponens , truth function , function (biology) , mathematics , calculus (dental) , computer science , artificial intelligence , algorithm , fuzzy logic , medicine , dentistry , evolutionary biology , biology