Dual Intuitionistic Logic Revisited (0)

by R Goré
Venue:In TABLEAUX00: Automated Reasoning with Analytic