TY  - JOUR
AB  - A classical theory of syllogisms is shown that reduces to three‐set theoretical inference rules, which have been used as the basis to produce a sorites (chain argument) solving programs.
VL  - 9
IS  - 1
SN  - 0368-492X
DO  - 10.1108/eb005540
UR  - https://doi.org/10.1108/eb005540
AU  - ALFONSECA M.
PY  - 1980
Y1  - 1980/01/01
TI  - AUTOMATIC SOLUTION OF SORITES
T2  - Kybernetes
PB  - MCB UP Ltd
SP  - 37
EP  - 44
Y2  - 2024/04/25
ER  -