On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.

Published in: CoRR (2019)

Keyphrases

artificial intelligence
intelligent systems
bibliographic retrieval systems
neural network
classical logic
hierarchical structure
complex systems
semantic web
high level
computer systems
semantic information
distributed systems
expressive power
domain specific
fuzzy set theory
expert systems
sequent calculi