scientific article; zbMATH DE number 6776520

zbMath1396.03068MaRDI QIDQ5358305

A. K. Koshcheeva

Publication date: 20 September 2017

Full work available at URL: http://mathnet.ru/eng/iimi325

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

zbMATH Keywords

pretabular superintuitionistic logicsalgorithmic problem of the conservativenessnew logical constantsNovikov's completeness

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

This page was built for publication: