Generating proof systems for three-valued propositional logics.

Mon, 01 Jan 2024 00:00:00 +0100

Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio:
Generating proof systems for three-valued propositional logics. CoRR abs/2401.03274 (2024)