scientific article; zbMATH DE number 2047486

zbMath1034.03009MaRDI QIDQ4451643

Aleksandr D. Yashin

Publication date: 29 February 2004

Full work available at URL: https://eudml.org/doc/188055

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

zbMATH Keywords

intuitionistic logicNovikov complete logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

A new constant in superintuitionistic logic L3 ⋮ New constants in two pretabular superintuitionistic logics

This page was built for publication: