scientific article; zbMATH DE number 2047486

zbMATH Open1034.03009MaRDI QIDQ4451643FDOQ4451643

Authors: Aleksandr D. Yashin 

Publication date: 29 February 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• New intuitionistic logical constants and Novikov completeness
• On the number of new logical constants in intuitionistic propositional calculus
• New constants in two pretabular superintuitionistic logics
• New constants in the superintuitionistic logic L2
• scientific article; zbMATH DE number 1567881

zbMATH Keywords

intuitionistic logicNovikov complete logic

Mathematics Subject Classification ID

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

Cited In (4)

• New intuitionistic logical constants and Novikov completeness
• New constants in the superintuitionistic logic L2
• New constants in two pretabular superintuitionistic logics
• A new constant in superintuitionistic logic L3

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451643)