Axiomatics of P.S. Novikov complete extensions of the superintuitionistic logic L2 in the language containing an additional constant

DOI10.20537/VM140303zbMath1299.03027OpenAlexW2490349726MaRDI QIDQ2932459

A. K. Koshcheeva

Publication date: 1 December 2014

Published in: Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki (Search for Journal in Brave)

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

zbMATH Keywords

new logical constantexplicit axiomatics of Novikov-complete extensionssuperintuitionistic logic \(L2\)

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intermediate logics (03B55)

This page was built for publication: Axiomatics of P.S. Novikov complete extensions of the superintuitionistic logic L2 in the language containing an additional constant