TY  - RPRT
TI  - Generating proof systems for three-valued propositional logics
AU  - Vitor Greati
AU  - Giuseppe Greco
AU  - Sérgio Marcelino
AU  - Alessandra Palmigiano
AU  - Umberto Rivieccio
PY  - 2024
UR  - https://arxiv.org/abs/2401.03274
ID  - 2401.03274
ER  -