Proof Search on Bilateralist Judgments over Non-deterministic Semantics

DOI10.1007/978-3-030-86059-2_8arXiv2107.08349MaRDI QIDQ6373052

Vitor Greati, Sérgio Marcelino, João Marcos

Publication date: 17 July 2021

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Proof Search on Bilateralist Judgments over Non-deterministic Semantics