Strong negation in intuitionistic style sequent systems for residuated lattices.

Published in: Math. Log. Q. (2014)

Keyphrases

management system
building blocks
artificial intelligence
decision making
distributed systems
computer systems
complex systems
information retrieval
high level
database systems
expert systems
retrieval systems