scientific article; zbMATH DE number 2047486

MaRDI QIDQ4451643zbMATH OpenFDO

Authors Aleksandr D. Yashin

Publication date 29 February 2004

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

zbMATH Keywords

intuitionistic logicNovikov complete logic

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Continuality of the family of complete Novikov logics with new monadic connective
• New intuitionistic logical constants and Novikov completeness
• Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness
• 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:

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