A unified semantic framework for fully structural propositional sequent systems.

Ori Lahav Arnon Avron

Published in: ACM Trans. Comput. Log. (2013)

Keyphrases

main contribution
management system
theoretical framework
high level
relational databases
distributed systems
knowledge based systems
inference rules
information retrieval
information systems
domain knowledge
intelligent systems
complex systems
context dependent
unified model