scientific article; zbMATH DE number 910431

zbMath0849.03015MaRDI QIDQ4888318

Ana Teresa de Castro Martins, Tarcisio Pequeno

Publication date: 28 July 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cut-eliminationsequent-calculusLogic of Epistemic Inconsistency

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Paraconsistent logics (03B53)

This page was built for publication: