Persian منطق چند-ارزشی Cited by user مصطفی کوهستانی on 25 Aug 2021 در منطق، منطق چند-ارزشی یک حساب گزاره ای است که در آن بیش از دو ارزش درستی وجود دارد.
English Joseph Goguen Cited by user Laiwoonsiu on 30 Jan 2021 Joseph Amadee Goguen ( ; June 28, 1941 – July 3, 2006) was an American computer scientist.
English Institution (computer science) Cited by user Laiwoonsiu on 29 Jan 2021 The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used…
English Universal logic Cited by user KolbertBot on 17 Sep 2017 Universal logic is the field of logic that studies the common features of all logical systems, aiming to be to logic what universal algebra is to algebra.