New constants in the superintuitionistic logic L2

DOI10.1134/S0001434613110308zbMath1331.03027MaRDI QIDQ2440003

A. K. Koshcheeva, Aleksandr D. Yashin

Publication date: 26 March 2014

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

framesintermediate logic \(\mathrm{BD}_2\)language with extra constantsNovikov-complete extensionsuperintuitionistic logic L2

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• New intuitionistic logical constants and Novikov completeness
• On decidable varieties of Heyting algebras

This page was built for publication: New constants in the superintuitionistic logic L2