scientific article
From MaRDI portal
Publication:2856070
zbMath1273.03086MaRDI QIDQ2856070
Vasiliy O. Shangin, Vladimir Mikhailovich Popov
Publication date: 23 October 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sequent calculusparaconsistent logicvaluation semanticsparacomplete logiccortege semanticsnatrual deduction calculus
This page was built for publication: