A new constant in superintuitionistic logic L3

DOI10.1007/S10469-015-9319-8MaRDI QIDQ498291zbMATH OpenOpenAlexFDO

Authors A. K. Koshcheeva

Publication date 28 September 2015

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-015-9319-8

zbMATH Keywords

new logical constantNovikov complete extensionssuperintuitionistic logic L3

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• New constants in the superintuitionistic logic L2
• New constants in two pretabular superintuitionistic logics
• New constants in pretabular superintuitionistic logics: P. Novikov's approach
• scientific article; zbMATH DE number 1567881
• A new regular constant in intuitionistic propositional logic
• A result on the completeness of superintuitionistic logics
• scientific article; zbMATH DE number 3639589
• scientific article; zbMATH DE number 4027437
• scientific article; zbMATH DE number 4045717
• scientific article; zbMATH DE number 1086684

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3554258 (Why is no real title available?)
• scientific article; zbMATH DE number 3554259 (Why is no real title available?)
• scientific article; zbMATH DE number 2047486 (Why is no real title available?)
• scientific article; zbMATH DE number 1567881 (Why is no real title available?)
• scientific article; zbMATH DE number 1852920 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• scientific article; zbMATH DE number 3191266 (Why is no real title available?)
• scientific article; zbMATH DE number 3197101 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A new regular constant in intuitionistic propositional logic
• Extendible formulas in two variables in intuitionistic logic
• Kripke models and intermediate logics
• New constants in two pretabular superintuitionistic logics
• New intuitionistic logical constants and Novikov completeness
• On decidable varieties of Heyting algebras
• Pretabular superintuitionistic logic
• Syntax and semantics of superintuitionistic logics

Cited in

(1)

• New constants in the superintuitionistic logic L2

This page was built for publication: A new constant in superintuitionistic logic L3

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