On the correspondence between nested calculi and semantic systems for intuitionistic logics.

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

Keyphrases

co occurrence
domain specific
expert systems
retrieval systems
natural language
computer systems
semantic web
expressive power
sequent calculi
neural network
information systems
knowledge base
fuzzy sets
distributed systems
computational properties