Dual systems of sequents and tableaux for many-valued logics.

Matthias Baaz Christian G. Fermüller Richard Zach

Published in: Bull. EATCS (1993)

Keyphrases

modal logic
expert systems
decision procedures
distributed systems
complex systems
sequent calculus
management system
expressive power
linear logic
inference rules