Basic Constructive Connectives, Determinism and Matrix-Based Semantics.

Agata Ciabattoni, Ori Lahav, Anna Zamansky

Browse the full TABLEAUX paper archive.