New intuitionistic logical constants and Novikov completeness

DOI10.1023/A:1005258529641zbMath0945.03010OpenAlexW1568499332MaRDI QIDQ1970642

Aleksandr D. Yashin

Publication date: 8 October 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005258529641

zbMATH Keywords

intuitionistic logicNovikov completenessadditional logical constantsmaximal conservative extensionsyntactical approach

Mathematics Subject Classification ID

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

Related Items (3)

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

This page was built for publication: New intuitionistic logical constants and Novikov completeness