Generating proof systems for three-valued propositional logics

From MaRDI portal

Publication:6516388

Jump to:navigation, search

zbMatharXiv:2401.03274MaRDI QIDQ6516388

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

Publication date: 1 January 1

Mathematics Subject Classification ID

Many-valued logic (03B50)

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6516388&oldid=37992640"