ML Systems: A Proof Theory for Contexts

• 1 January 2002
• journal article
• Published by Springer Nature in Journal of Logic, Language and Information
• Vol. 11  (4) , 471-518
• https://doi.org/10.1023/a:1019967901393

Abstract

Keywords

• ML SYSTEMS
• CONTEXT
• MR SYSTEMS
• DISTRIBUTED ARTIFICIALINTELLIGENCE
• PAPER CONCLUDES
• PROOF THEORY