Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
Page 1
Displaying 1 – 8 of 8
The algebra of first-order fuzzy logic
Esko Turunen (1992)
Kybernetika
The Completeness And Compactness Of A Three-Valued First-Order Logic.
Itala M.L. D'Ottaviano (1985)
Revista colombiana de matematicas
The lattice of linear classes in prime-valued logics
Jànos Demetrovics, Jànos Bagyinszki (1982)
Banach Center Publications
The logic of neural networks.
Juan Luis Castro, Enric Trillas (1998)
Mathware and Soft Computing
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]
Ewa Orłowska (1973)
Three semantical interpretations of a statistical theoremhood testing procedure
Ivan Kramosil (1982)
Kybernetika
Three-valued logic and cut-elimination: The actual meaning of Takeuti's conjecture [Book]
J. Y. Girard (1976)
Currently displaying 1 – 8 of 8
Page 1