Foundations for the formalization of metamathematics and axiomatizations of consequence theories.

Urszula Wybraniec-Skardowska

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

Keyphrases

artificial intelligence
decision procedures
knowledge representation
theoretical framework
formal analysis
design theory
computer vision
formal model
genetic algorithm
data sets
neural network
data mining
operational semantics
formal logic
intelligent design