Semi De Morgan logic properly displayed

DOI10.1007/S11225-020-09898-YarXiv1809.07933MaRDI QIDQ6307044

Fei Liang, Giuseppe Greco, M. Andrew Moshier, Alessandra Palmigiano

Publication date: 20 September 2018

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Paraconsistent logics (03B53)

This page was built for publication: Semi De Morgan logic properly displayed