A comparison of construction forms and base functions is made between feedforward neural network and wavelet network. The relations between them are studied fro
This paper is focused on automated reasoning based on classical propositional logic and lattice-valued propositional logic LP(X). A new method of automated reas