A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation.

Ekaterina Komendantskaya

Published in: TABLEAUX (2007)

Keyphrases

sequent calculus
truth values
inference rules
cut elimination
multi valued
linear logic
modal logic
natural deduction
linear time temporal logic
wide class
default logic
classical logic
expert systems
temporal logic
logical framework
proof search