Proof Systems for Institutional Logic.

Razvan Diaconescu

Published in: J. Log. Comput. (2006)

Keyphrases

website
neural network
expert systems
data mining
information retrieval
digital libraries
management system
software engineering
online learning
intelligent systems
learning systems
complex systems
retrieval systems
modal logic
linear logic
proof procedure