Generating proof systems for three-valued propositional logics

MaRDI QIDQ6516388arXivFDO

Authors Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio

Published in arXiv

Mathematics Subject Classification ID

Many-valued logic (03B50)

This page was built for publication: Generating proof systems for three-valued propositional logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6516388)