A Formalization of Sambin's Normalization for GL.

Luiz Carlos Pereira Edward Hermann Haeusler

Published in: Math. Log. Q. (1993)

Keyphrases

formal model
operational semantics
website
neural network
preprocessing
knowledge representation
data mining
machine learning
information retrieval
three dimensional
objective function
multi agent
email
formal analysis
logical framework
formal logic