Proof Search on Bilateralist Judgments over Non-deterministic Semantics.

Fri, 01 Jan 2021 00:00:00 +0100

Vitor Greati , Sérgio Marcelino , João Marcos :
Proof Search on Bilateralist Judgments over Non-deterministic Semantics. TABLEAUX 2021: 129-146