Semantic investigation of canonical Gödel hypersequent systems.

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

Keyphrases

computer systems
expert systems
data sets
multimedia
learning systems
semantic information
database
natural language
management system
distributed systems
semantic web
complex systems
semantic network
semantic description