Sequent systems for compact bilinear logic.

Wojciech Buszkowski

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

Keyphrases

modal logic
knowledge base
distributed systems
intelligent systems
digital circuits
real time
database systems
multi agent
digital libraries
management system
computer systems
knowledge based systems
asynchronous circuits
cut elimination