Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
The algebra of first-order fuzzy logic
The Completeness And Compactness Of A Three-Valued First-Order Logic.
The lattice of linear classes in prime-valued logics
The logic of neural networks.
This paper establishes the equivalence between multilayer feedforward networks and linear combinations of Lukasiewicz propositions. In this sense, multilayer forward networks have a logic interpretation, which should permit to apply logical techniques in the neural networks framework.
Theorem-proving systems [Book]
Three semantical interpretations of a statistical theoremhood testing procedure