A Proof-Theoretic View of Basic Intuitionistic Conditional Logic.

Tiziano Dalmonte, Marianna Girlando

Browse the full TABLEAUX paper archive.