Proof Search on Bilateralist Judgments over Non-deterministic Semantics.

Vitor Greati, Srgio Marcelino, Joo Marcos

Browse the full TABLEAUX paper archive.