Sciweavers

TABLEAUX
2007
Springer

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

14 years 6 months ago
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
Ekaterina Komendantskaya
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TABLEAUX
Authors Ekaterina Komendantskaya
Comments (0)