The disjunction and existence properties for axiomatic systems of truth.

Harvey M. Friedman Michael Sheard

Published in: Ann. Pure Appl. Log. (1988)

Keyphrases

management system
learning systems
website
complex systems
neural network
machine learning
reinforcement learning
distributed systems
computer systems
knowledge based systems