Login / Signup
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras.
Àngel J. Gil
Jordi Rebagliato
Ventura Verdú
Published in:
J. Appl. Non Class. Logics (1999)
Keyphrases
</>
learning systems
complex systems
high level
management system
neural network
expert systems
distributed systems
finite number