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. CoRR abs/2107.08349 (2021)