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
decision procedures
sequent calculus
distributed systems
intelligent systems
linear logic
computer systems
logic programming