scientific article; zbMATH DE number 700347
From MaRDI portal
Publication:4315301
zbMath0812.03014MaRDI QIDQ4315301
Publication date: 8 December 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
paraconsistencysequent calculusclassical logicparacompletenessparaconsistent logicsreplacement theoremCarnot's problemda Costa and Beziau conditionsdouble negation laws
Related Items (1)
This page was built for publication: