The relationships between artificial neural networks and graph theory are considered in detail. The applications of artificial neural networks to many difficult
In this paper, the method of well-combined semantics and syntax proposed by Pavelka is applied to the research of the propositional calculus formal system L*. T