7 search results - page 2 / 2 » ismvl 1994 |
ISMVL
1994
IEEE
13 years 11 months ago
1994
IEEE
The problem of approximating a propositional calculus is to nd many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few...
ISMVL
1994
IEEE
13 years 11 months ago
1994
IEEE
The paper proposes mvTANTs, three-level networks with multiple-valued inputs and binary outputs. These networks are a generalization of binary TANTs (Three level And Not networks...