48 followers
@LogicPractice 2/ The below book discusses (in a vain/empty, DM[= diagonal methods]-based way) the many-valued fuzzy predicate calculus. That "many-valued" may as well be said to be "infinite-valued" = intuitionistic. https://t.co/xRMI553LqS Pls see my DMd